#! /bin/sh
awk -F'"' 'BEGIN{
print "\\frac{}{}";
print "\\sqrt{";
print "\\overline{";
print "\\underline{";
print "\\mbox{";
print "\\rotate=";
print "\\hat{";
print "\\check{";
print "\\tilde{";
print "\\acute{";
print "\\dot{";
print "\\ddot{";
print "\\grave{";
print "\\breve{";
print "\\bar{";
print "\\vec{";
}
$2~/^\\\\/{print $2}' $* | sed 's,\\\\,\\,g' | sort
