`== True` and then you won't need the `import true` anymore (also in latex.py).