Enable conceal for latex
Add arity word
Add programs