# HG changeset patch
# User wenzelm
# Date 1563349243 -7200
# Node ID b67737bc5bd19e49802154c04f358b65aef35a2a
# Parent  b2bedb022a75804bf11800829fe55aa9e5fb301a
added \<sqdot>;

diff -r b2bedb022a75 -r b67737bc5bd1 Admin/isabelle_fonts/IsabelleSymbols.sfd
--- a/Admin/isabelle_fonts/IsabelleSymbols.sfd	Tue Jul 16 15:39:32 2019 +0200
+++ b/Admin/isabelle_fonts/IsabelleSymbols.sfd	Wed Jul 17 09:40:43 2019 +0200
@@ -20,7 +20,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050361371
-ModificationTime: 1544375065
+ModificationTime: 1563348871
 PfmFamily: 17
 TTFWeight: 400
 TTFWidth: 5
@@ -2242,7 +2242,7 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 0 32 8
+WinInfo: 64 32 8
 BeginPrivate: 0
 EndPrivate
 TeXData: 1 0 0 631296 315648 210432 572416 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
@@ -16356,24 +16356,19 @@
 StartChar: periodcentered
 Encoding: 183 183 195
 Width: 614
-VWidth: 2220
-Flags: W
-HStem: 437 235<214.472 402.688>
-VStem: 191 235<460.892 649.108>
-LayerCount: 2
-Fore
-SplineSet
-426 555 m 128,-1,1
- 426 507 426 507 391.5 472 c 128,-1,2
- 357 437 357 437 308.5 437 c 128,-1,3
- 260 437 260 437 225.5 472 c 128,-1,4
- 191 507 191 507 191 555 c 128,-1,5
- 191 603 191 603 225.5 638 c 128,-1,6
- 260 673 260 673 308.5 672.5 c 128,-1,7
- 357 672 357 672 391.5 637.5 c 128,-1,0
- 426 603 426 603 426 555 c 128,-1,1
-EndSplineSet
-Validated: 33
+VWidth: 2326
+Flags: W
+HStem: 415.188 375.624<115.193 498.807>
+VStem: 115.193 383.614<415.188 790.812>
+LayerCount: 2
+Fore
+SplineSet
+115.193359375 790.811523438 m 1,0,-1
+ 498.806640625 790.811523438 l 1,1,-1
+ 498.806640625 415.188476562 l 1,2,-1
+ 115.193359375 415.188476562 l 1,3,-1
+ 115.193359375 790.811523438 l 1,0,-1
+EndSplineSet
 EndChar
 
 StartChar: quotesinglbase
diff -r b2bedb022a75 -r b67737bc5bd1 Admin/isabelle_fonts/IsabelleSymbolsBold.sfd
--- a/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd	Tue Jul 16 15:39:32 2019 +0200
+++ b/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd	Wed Jul 17 09:40:43 2019 +0200
@@ -21,7 +21,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1544375307
+ModificationTime: 1563348893
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -1679,7 +1679,7 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 0 32 8
+WinInfo: 64 32 8
 BeginPrivate: 0
 EndPrivate
 BeginChars: 1114115 1403
@@ -13029,20 +13029,24 @@
 StartChar: periodcentered
 Encoding: 183 183 125
 Width: 614
-Flags: W
-LayerCount: 2
-Fore
-SplineSet
-427.5 436 m 128,-1,1
- 378 386 378 386 308.5 386 c 128,-1,2
- 239 386 239 386 189.5 436 c 128,-1,3
- 140 486 140 486 140 555 c 128,-1,4
- 140 624 140 624 189 674 c 128,-1,5
- 238 724 238 724 307 724 c 1,6,-1
- 343 723 l 2,7,8
- 378 723 378 723 427.5 673.5 c 128,-1,9
- 477 624 477 624 477 555 c 128,-1,0
- 477 486 477 486 427.5 436 c 128,-1,1
+VWidth: 2326
+Flags: WO
+LayerCount: 2
+Fore
+SplineSet
+115.193359375 841.811523438 m 1
+ 498.806640625 841.811523438 l 1
+ 549.806640625 841.811523438 l 1
+ 549.806640625 790.811523438 l 1
+ 549.806640625 415.188476562 l 1
+ 549.806640625 364.188476562 l 1
+ 498.806640625 364.188476562 l 1
+ 115.193359375 364.188476562 l 1
+ 64.193359375 364.188476562 l 1
+ 64.193359375 415.188476562 l 1
+ 64.193359375 790.811523438 l 1
+ 64.193359375 841.811523438 l 1
+ 115.193359375 841.811523438 l 1
 EndSplineSet
 EndChar
 
diff -r b2bedb022a75 -r b67737bc5bd1 etc/symbols
--- a/etc/symbols	Tue Jul 16 15:39:32 2019 +0200
+++ b/etc/symbols	Wed Jul 17 09:40:43 2019 +0200
@@ -328,6 +328,7 @@
 \<registered>           code: 0x0000ae
 \<hyphen>               code: 0x002010  group: punctuation
 \<inverse>              code: 0x0000af  group: operator
+\<sqdot>                code: 0x0000b7  group: punctuation
 \<onequarter>           code: 0x0000bc  group: digit
 \<onehalf>              code: 0x0000bd  group: digit
 \<threequarters>        code: 0x0000be  group: digit
diff -r b2bedb022a75 -r b67737bc5bd1 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Tue Jul 16 15:39:32 2019 +0200
+++ b/lib/texinputs/isabellesym.sty	Wed Jul 17 09:40:43 2019 +0200
@@ -363,6 +363,7 @@
 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
+\newcommand{\isasymsqdot}{\isamath{\sbox\z@{$\centerdot$}\ht\z@=.33333\ht\z@\vcenter{\box\z@}}}  %requires amssymb
 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}