summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/semantex/stripsemantex.lua
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/semantex/stripsemantex.lua')
-rw-r--r--macros/latex/contrib/semantex/stripsemantex.lua11
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