# ***** BEGIN LICENSE BLOCK ***** # Version: MPL 1.1/GPL 2.0/LGPL 2.1 # # The contents of this file are subject to the Mozilla Public License Version # 1.1 (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.mozilla.org/MPL/ # # Software distributed under the License is distributed on an "AS IS" basis, # WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License # for the specific language governing rights and limitations under the # License. # # The Original Code is Mozilla MathML Project. # # The Initial Developer of the Original Code is The University Of # Queensland. Portions created by The University Of Queensland are # Copyright (C) 2001 The University Of Queensland. All Rights Reserved. # # Contributor(s): # Roger B. Sidje # # Alternatively, the contents of this file may be used under the terms of # either the GNU General Public License Version 2 or later (the "GPL"), or # the GNU Lesser General Public License Version 2.1 or later (the "LGPL"), # in which case the provisions of the GPL or the LGPL are applicable instead # of those above. If you wish to allow use of your version of this file only # under the terms of either the GPL or the LGPL, and not to allow others to # use your version of this file under the terms of the MPL, indicate your # decision by deleting the provisions above and replace them with the notice # and other provisions required by the GPL or the LGPL. If you do not delete # the provisions above, a recipient may use your version of this file under # the terms of any one of the MPL, the GPL or the LGPL. # # ***** END LICENSE BLOCK ***** # LOCALIZATION NOTE: FILE # Do not translate anything in this file # This file contains the list of all stretchy MathML chars that # can be rendered with the indicated mathfont. mathfont = MT Extra # [ T/L | M | B/R | G | size0 ... size{N-1} ] \uF613 = \uEC00\uEC01\uEC02\uEC03\uF613 \uF612 = \uEC04\uEC05\uEC06\uEC03\uF612 #disable for now as they appear too small and don't align properly at default font-size #\u20D6 = \u20D6\uFFFD\uFFFD\uEB00\u20D6 #\u20D7 = \uFFFD\uFFFD\u20D7\uEB00\u20D7 #\u20E1 = \u20D6\uFFFD\u20D7\uEB00\u20E1 #\u20D0 = \u20D0\uFFFD\uFFFD\uEB00\u20D0 #\u20D1 = \uFFFD\uFFFD\u20D1\uEB00\u20D1