<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span style="text-indent: -30px;" class="">$\xrightarrow{5}$ and </span><span style="text-indent: -30px;" class="">\boldsymbol{$5$} both </span><span style="text-indent: -30px;" class="">compile but </span><span style="text-indent: -30px;" class="">\boldsymbol{$\xrightarrow{5}$} does not.</span><br class=""><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><br class=""></div><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class="">The error is:</div><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><div style="margin: 0px 0px 0px 30px; font-stretch: normal; line-height: normal;" class=""><br class=""></div><div style="margin: 0px 0px 0px 30px; font-stretch: normal; line-height: normal;" class="">2.tex:1309: Improper alphabetic constant.</div></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><div style="margin: 0px 0px 0px 30px; font-stretch: normal; line-height: normal;" class=""><to be read again> </div></div><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><div style="margin: 0px 0px 0px 30px; font-stretch: normal; line-height: normal;" class=""> \reserved@d </div></div><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><div style="margin: 0px 0px 0px 30px; font-stretch: normal; line-height: normal;" class="">l.1309 \boldsymbol{$\xrightarrow{5}$}</div><div style="margin: 0px 0px 0px 30px; font-stretch: normal; line-height: normal;" class=""><br class=""></div></div></blockquote>Any way around it?<br class=""><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><div class=""><br class=""></div></div><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><br class=""></div><div style="margin: 0px 0px 0px 30px; text-indent: -30px; font-stretch: normal; line-height: normal;" class=""><br class=""></div></body></html>