3 ms·
It seems there is a method to add tooltips, though it looks a little rough. Worth a shot, I suppose. https://tex.stackexchange.com/q/155518/77180 https://tex.st
by slavik81 9y ago
It seems there is a method to add tooltips, though it looks a little rough. Worth a shot, I suppose.
https://tex.stackexchange.com/q/155518/77180 https://tex.stackexchange.com/q/155518/77180