X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=jsMath%2FjsMath-fallback-mac-mozilla.js;fp=jsMath%2FjsMath-fallback-mac-mozilla.js;h=bd2d429fed9d7eaab3e53b7f15c1a7a55cb4d560;hb=f084723ab17e56d39e05a8a8da8d976e670dfd42;hp=0000000000000000000000000000000000000000;hpb=b3b3c1c988e48e53f295529431d640528bb17927;p=lambda.git
diff --git a/jsMath/jsMath-fallback-mac-mozilla.js b/jsMath/jsMath-fallback-mac-mozilla.js
new file mode 100644
index 00000000..bd2d429f
--- /dev/null
+++ b/jsMath/jsMath-fallback-mac-mozilla.js
@@ -0,0 +1,107 @@
+/*
+ * jsMath-fallback-mac-mozilla.js
+ *
+ * Part of the jsMath package for mathematics on the web.
+ *
+ * This file makes changes needed by Mozilla-based browsers on the Mac
+ * for when the TeX fonts are not available.
+ *
+ * ---------------------------------------------------------------------
+ *
+ * Copyright 2004-2006 by Davide P. Cervone
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+
+
+/********************************************************************
+ *
+ * Fix the default non-TeX-font characters to work with Mozilla
+ *
+ */
+
+jsMath.Update.TeXfonts({
+ cmmi10: {
+// '41': // leftharpoondown
+// '43': // rightharpoondown
+ '44': {c: '˓'},
+ '45': {c: '˒'},
+ '47': {c: '◁'},
+// '92': // natural
+ '126': {c: '→'}
+ },
+
+ cmsy10: {
+ '0': {c: '–', tclass: 'normal'},
+ '11': {c: '◯/', tclass: 'normal'},
+ '42': {c: '⥣'}, '43': {c: '⥥'},
+ '48': {c: '′', tclass: 'normal'},
+ '93': {c: '∪+'},
+ '104': {c: '〈'},
+ '105': {c: '〉'},
+ '109': {c: '⥣⥥'}
+//, '116': // sqcup
+// '117': // sqcap
+// '118': // sqsubseteq
+// '119': // sqsupseteq
+ },
+
+ cmex10: {
+ '10': {c: '〈'},
+ '11': {c: '〉'},
+ '14': {c: '/'}, '15': {c: '\\'},
+ '28': {c: '〈'},
+ '29': {c: '〉'},
+ '30': {c: '/'}, '31': {c: '\\'},
+ '42': {c: '〈'},
+ '43': {c: '〉'},
+ '44': {c: '/'}, '45': {c: '\\'},
+ '46': {c: '/'}, '47': {c: '\\'},
+ '68': {c: '〈'},
+ '69': {c: '〉'},
+// '70': // sqcup
+// '71': // big sqcup
+ '72': {ic: .194}, '73': {ic: .444},
+ '82': {tclass: 'bigop1cx', ic: .15}, '90': {tclass: 'bigop2cx', ic:.6},
+ '85': {c: '∪+'},
+ '93': {c: '∪+'}
+ }
+
+});
+
+jsMath.Setup.Styles({
+ '.typeset .symbol': "font-family: Osaka",
+ '.typeset .arrow1': "font-family: Osaka; position: relative; top: .125em; margin: -1px",
+ '.typeset .arrow2': "font-family: AppleGothic; font-size: 100%; position:relative; top: .11em; margin:-1px",
+ '.typeset .bigop1': "font-family: AppleGothic; font-size: 110%; position:relative; top: .9em; margin:-.05em",
+ '.typeset .bigop1b': "font-family: Osaka; font-size: 140%; position: relative; top: .8em; margin:-.1em",
+ '.typeset .bigop1c': "font-family: AppleGothic; font-size: 125%; position:relative; top: .85em; margin:-.3em",
+ '.typeset .bigop1cx': "font-family: 'Apple Chancery'; font-size: 125%; position:relative; top: .7em; margin:-.1em",
+ '.typeset .bigop2': "font-family: AppleGothic; font-size: 175%; position:relative; top: .85em; margin:-.1em",
+ '.typeset .bigop2b': "font-family: Osaka; font-size: 200%; position: relative; top: .75em; margin:-.15em",
+ '.typeset .bigop2c': "font-family: AppleGothic; font-size: 300%; position:relative; top: .75em; margin:-.35em",
+ '.typeset .bigop2cx': "font-family: 'Apple Chancery'; font-size: 250%; position:relative; top: .7em; margin-left:-.1em; margin-right:-.2em",
+ '.typeset .delim1b': "font-family: Times; font-size: 150%; position:relative; top:.8em; margin:.01em",
+ '.typeset .delim2b': "font-family: Times; font-size: 210%; position:relative; top:.8em; margin:.01em",
+ '.typeset .delim3b': "font-family: Times; font-size: 300%; position:relative; top:.75em; margin:.01em",
+ '.typeset .delim4b': "font-family: Times; font-size: 400%; position:relative; top:.725em; margin:.01em"
+});
+
+
+/*
+ * replace \not and \joinrel with better dimensions
+ */
+
+jsMath.Macro('not','\\mathrel{\\rlap{\\kern 3mu/}}');
+jsMath.Macro('joinrel','\\mathrel{\\kern-3mu}');