##// END OF EJS Templates
use `$.text` to put latex on the page...
use `$.text` to put latex on the page instead of `$.append` does proper escaping of latex that might be interpreted as HTML tags

File last commit:

r2009:2a0ba18d
r22735:e2ba4d66 3.x
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer