diff options
author | Norbert Preining <norbert@preining.info> | 2020-10-04 03:01:11 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-10-04 03:01:11 +0000 |
commit | 62f3109ec0fcb4a3309966bdcb9e4f307ff35dd2 (patch) | |
tree | 60447da370a4394b5fd095c64a5eebde30425c04 /macros/latex/contrib/semantex/stripsemantex.lua | |
parent | 0e644e6805342838052f46e6af93f81644d0390b (diff) |
CTAN sync 202010040301
Diffstat (limited to 'macros/latex/contrib/semantex/stripsemantex.lua')
-rw-r--r-- | macros/latex/contrib/semantex/stripsemantex.lua | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/macros/latex/contrib/semantex/stripsemantex.lua b/macros/latex/contrib/semantex/stripsemantex.lua index 0ecb5e6240..f50648dd23 100644 --- a/macros/latex/contrib/semantex/stripsemantex.lua +++ b/macros/latex/contrib/semantex/stripsemantex.lua @@ -297,12 +297,15 @@ addSemtexPackageToFile = function() \aftergroup\egroup\right } -\providecommand\SemantexBullet{% - \raisebox{-0.25ex}{\scalebox{1.2}{$\cdot$}}% +\makeatletter +\DeclareRobustCommand\SemantexBullet{% + \mathord{\mathpalette\SemantexBullet@{0.5}}% } -\providecommand\SemantexDoubleBullet{% - \SemantexBullet\SemantexBullet +\newcommand\SemantexBullet@[2]{% + \vcenter{\hbox{\scalebox{#2}{$\m@th#1\bullet$}}}% } +\DeclareRobustCommand\SemantexDoubleBullet{\SemantexBullet \SemantexBullet} +\makeatother ]] .. content end
\ No newline at end of file |