Hacker News new | ask | show | jobs
by chaoxu 1259 days ago
Just tried it. Does it support theorem environments?