Next / Previous / Contents / Shipman's homepage

5.14. TEX_ITAL_END

This markup for ending italics includes the italic correction sequence "\/", which puts in a bit of extra space.

xnomo3.py
TEX_ITAL_END = r"\/}"