Configure ‖ (a.k.a. ‖ \u2016) to stretch like ∥ (\u2225), b=314459, r+sr=roc

git-svn-id: svn://10.0.0.236/trunk@183318 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
rbs%maths.uq.edu.au 2005-11-01 03:26:37 +00:00
parent 0cb5d9e5ef
commit 3398b04303
3 changed files with 9 additions and 0 deletions

View File

@ -240,6 +240,7 @@ operator.\u2261.infix = lspace:thickmathspace rspace:thickmathspace # &Congruent
operator.\u224D.infix = lspace:thickmathspace rspace:thickmathspace # ≍
operator.\u2250.infix = lspace:thickmathspace rspace:thickmathspace # ≐
operator.\u2225.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ∥
operator.\u2016.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ‖ ‖
operator.\u2A75.infix = lspace:thickmathspace rspace:thickmathspace # ⩵
operator.\u2242.infix = lspace:thickmathspace rspace:thickmathspace # ≂
operator.\u21CC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇌
@ -463,6 +464,8 @@ operator.\u23B5.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em
operator.\uFE36.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏝
operator.\u2225.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥
operator.\u2225.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥
operator.\u2016.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ‖ ‖
operator.\u2016.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ‖ ‖
operator.\u2223.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣
operator.\u2223.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣
operator.\u007C.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # |

View File

@ -100,3 +100,6 @@ mathfont = CMEX10
# Make | behave like VerticalBar because most people use | for fences
\u007C = \uFFFD\uFFFD\uFFFD\u2223.G\u007C # |
#Make Vert behave like DoubleVerticalBar
\u2016 = \uFFFD\uFFFD\uFFFD\u2225.G\u2016\u2225.1\u2225.2\u2225.3 # Vert, Verbar

View File

@ -88,3 +88,6 @@ mathfont = Math2
\u20D6 = \u20D6\uFFFD\uFFFD\uF8FF\u20D6
\u20D7 = \uFFFD\uFFFD\u20D7\uF8FF\u20D7
\u20E1 = \u20D6\uFFFD\u20D7\uF8FF\u20E1
#Make Vert behave like DoubleVerticalBar
\u2016 = \uFFFD\uFFFD\uFFFD\u2225.G\u2016\u2225.1\u2225.2\u2225.3 # Vert, Verbar