Closed reutenauer closed 4 years ago
Should be something like \newcommand*\hboxR[1]{\hbox{\RL{#1}}}
\newcommand*\hboxR[1]{\hbox{\RL{#1}}}
Should be something like
\newcommand*\hboxR[1]{\hbox{\RL{#1}}}