1
2
\fbox{¬
\procedure{name}{%¬
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
LaTeX
MathJax