From c46a1f0302deb0fd086c780f7d7cbea4b3071fc3 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Sat, 4 May 2024 18:25:52 +0200
Subject: [PATCH] UCWTeX: \vecoverrightarrow

---
 src/formatitko/tex/formatitkolib.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/formatitko/tex/formatitkolib.tex b/src/formatitko/tex/formatitkolib.tex
index c22ece0..bf65019 100644
--- a/src/formatitko/tex/formatitkolib.tex
+++ b/src/formatitko/tex/formatitkolib.tex
@@ -54,3 +54,11 @@
 
 \def\unparskip{\vskip-\parskip}
 
+\catcode`@=11
+\def\vecoverrightarrow#1{\vbox{\m@th\ialign{##\crcr
+      \vecrightarrowfill\crcr\noalign{\kern-\p@\kern 0.09em\nointerlineskip}
+      $\hfil\displaystyle{#1\,}\hfil$\crcr}}}
+\def\vecrightarrowfill{$\settextsize{5}\m@th\smash-\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \settextsize{5}\mkern-7mu\mathord\rightarrow$}
+\catcode`@=12