#################
# in LaTeX, replace :^) by :$hat{mkern6mu}$)
# replace by $backslash$
# replace :{ by :{
# replace $ by $
#################

#################
# in LaTeX, replace :^) by :$hat{mkern6mu}$)
# replace by $backslash$
# replace :{ by :{
# replace $ by $
#################