From b932e34c43196af67cb025502d6ea552f79462bc Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Thu, 13 Aug 2020 13:32:00 +0200 Subject: [PATCH] New font def to print dominos --- commun/commun.sty | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/commun/commun.sty b/commun/commun.sty index b84d8c3..df2161e 100644 --- a/commun/commun.sty +++ b/commun/commun.sty @@ -375,6 +375,7 @@ \newfontfamily\ChelseaMarket[Ligatures=TeX]{Chelsea Market} % \newfontfamily\Comic[Ligatures=TeX]{Comic Sans MS} \newfontfamily\DejaVuSans[Ligatures=TeX]{DejaVu Sans} +\newfontfamily\dominofont[Ligatures=TeX]{DejaVu Sans} \newfontfamily\Delius[Ligatures=TeX]{Delius} \newfontfamily\DeliusSC[Ligatures=TeX]{Delius Swash Caps} \newfontfamily\FingerPaint[Ligatures=TeX]{Finger Paint} @@ -399,6 +400,16 @@ % } %-------------------------------------------------------- +%--- +% Print dominos +\newcommand*\d@mino[3]{% + {\dominofont\char + \numexpr #1 + #2*7 + #3 + \relax + }} +\newcommand*\domino{\@ifstar{\d@mino{127075}}{\d@mino{127025}}} +%--- + %--