a:248:{s:19:"CharacterMapTooltip";a:1:{i:0;a:2:{s:6:"source";s:24:"Insert special character";s:6:"target";s:24:"Insert special character";}}s:23:"InsertCharacter-Tooltip";a:1:{i:0;a:2:{s:6:"source";s:24:"Insert special character";s:6:"target";s:24:"Insert special character";}}s:24:"Insert special character";a:1:{i:0;a:2:{s:6:"source";s:24:"Insert special character";s:6:"target";s:24:"Insert special character";}}s:24:"InsertSoftHyphen-Tooltip";a:1:{i:0;a:2:{s:6:"source";s:18:"Insert soft hyphen";s:6:"target";s:18:"Insert soft hyphen";}}s:7:"general";a:1:{i:0;a:2:{s:6:"source";s:7:"General";s:6:"target";s:7:"General";}}s:12:"mathematical";a:1:{i:0;a:2:{s:6:"source";s:12:"Mathematical";s:6:"target";s:12:"Mathematical";}}s:9:"graphical";a:1:{i:0;a:2:{s:6:"source";s:17:"Shapes and arrows";s:6:"target";s:17:"Shapes and arrows";}}s:11:"HTML value:";a:1:{i:0;a:2:{s:6:"source";s:11:"HTML value:";s:6:"target";s:11:"HTML value:";}}s:5:"Close";a:1:{i:0;a:2:{s:6:"source";s:5:"Close";s:6:"target";s:5:"Close";}}s:4:"nbsp";a:1:{i:0;a:2:{s:6:"source";s:18:"Non-breaking space";s:6:"target";s:18:"Non-breaking space";}}s:6:"Agrave";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital a with grave accent";s:6:"target";s:27:"Capital a with grave accent";}}s:6:"agrave";a:1:{i:0;a:2:{s:6:"source";s:25:"Small a with grave accent";s:6:"target";s:25:"Small a with grave accent";}}s:6:"Aacute";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital a with acute accent";s:6:"target";s:27:"Capital a with acute accent";}}s:6:"aacute";a:1:{i:0;a:2:{s:6:"source";s:25:"Small a with acute accent";s:6:"target";s:25:"Small a with acute accent";}}s:5:"Acirc";a:1:{i:0;a:2:{s:6:"source";s:32:"Capital a with circumflex accent";s:6:"target";s:32:"Capital a with circumflex accent";}}s:5:"acirc";a:1:{i:0;a:2:{s:6:"source";s:30:"Small a with circumflex accent";s:6:"target";s:30:"Small a with circumflex accent";}}s:6:"Atilde";a:1:{i:0;a:2:{s:6:"source";s:20:"Capital a with tilde";s:6:"target";s:20:"Capital a with tilde";}}s:6:"atilde";a:1:{i:0;a:2:{s:6:"source";s:18:"Small a with tilde";s:6:"target";s:18:"Small a with tilde";}}s:4:"Auml";a:1:{i:0;a:2:{s:6:"source";s:31:"Capital a with umlaut/diaeresis";s:6:"target";s:31:"Capital a with umlaut/diaeresis";}}s:4:"auml";a:1:{i:0;a:2:{s:6:"source";s:29:"Small a with umlaut/diaeresis";s:6:"target";s:29:"Small a with umlaut/diaeresis";}}s:5:"Aring";a:1:{i:0;a:2:{s:6:"source";s:19:"Capital a with ring";s:6:"target";s:19:"Capital a with ring";}}s:5:"aring";a:1:{i:0;a:2:{s:6:"source";s:17:"Small a with ring";s:6:"target";s:17:"Small a with ring";}}s:5:"AElig";a:1:{i:0;a:2:{s:6:"source";s:19:"Capital ligature ae";s:6:"target";s:19:"Capital ligature ae";}}s:5:"aelig";a:1:{i:0;a:2:{s:6:"source";s:17:"Small ligature ae";s:6:"target";s:17:"Small ligature ae";}}s:4:"ordf";a:1:{i:0;a:2:{s:6:"source";s:26:"Feminine ordinal indicator";s:6:"target";s:26:"Feminine ordinal indicator";}}s:6:"Ccedil";a:1:{i:0;a:2:{s:6:"source";s:22:"Capital c with cedilla";s:6:"target";s:22:"Capital c with cedilla";}}s:6:"ccedil";a:1:{i:0;a:2:{s:6:"source";s:20:"Small c with cedilla";s:6:"target";s:20:"Small c with cedilla";}}s:3:"ETH";a:1:{i:0;a:2:{s:6:"source";s:22:"Capital eth, Icelandic";s:6:"target";s:22:"Capital eth, Icelandic";}}s:3:"eth";a:1:{i:0;a:2:{s:6:"source";s:20:"Small eth, Icelandic";s:6:"target";s:20:"Small eth, Icelandic";}}s:6:"Egrave";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital e with grave accent";s:6:"target";s:27:"Capital e with grave accent";}}s:6:"egrave";a:1:{i:0;a:2:{s:6:"source";s:25:"Small e with grave accent";s:6:"target";s:25:"Small e with grave accent";}}s:6:"Eacute";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital e with acute accent";s:6:"target";s:27:"Capital e with acute accent";}}s:6:"eacute";a:1:{i:0;a:2:{s:6:"source";s:25:"Small e with acute accent";s:6:"target";s:25:"Small e with acute accent";}}s:5:"Ecirc";a:1:{i:0;a:2:{s:6:"source";s:32:"Capital e with circumflex accent";s:6:"target";s:32:"Capital e with circumflex accent";}}s:5:"ecirc";a:1:{i:0;a:2:{s:6:"source";s:30:"Small e with circumflex accent";s:6:"target";s:30:"Small e with circumflex accent";}}s:4:"Euml";a:1:{i:0;a:2:{s:6:"source";s:31:"Capital e with umlaut/diaeresis";s:6:"target";s:31:"Capital e with umlaut/diaeresis";}}s:4:"euml";a:1:{i:0;a:2:{s:6:"source";s:29:"Small e with umlaut/diaeresis";s:6:"target";s:29:"Small e with umlaut/diaeresis";}}s:6:"Igrave";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital i with grave accent";s:6:"target";s:27:"Capital i with grave accent";}}s:6:"igrave";a:1:{i:0;a:2:{s:6:"source";s:25:"Small i with grave accent";s:6:"target";s:25:"Small i with grave accent";}}s:6:"Iacute";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital i with acute accent";s:6:"target";s:27:"Capital i with acute accent";}}s:6:"iacute";a:1:{i:0;a:2:{s:6:"source";s:25:"Small i with acute accent";s:6:"target";s:25:"Small i with acute accent";}}s:5:"Icirc";a:1:{i:0;a:2:{s:6:"source";s:32:"Capital i with circumflex accent";s:6:"target";s:32:"Capital i with circumflex accent";}}s:5:"icirc";a:1:{i:0;a:2:{s:6:"source";s:30:"Small i with circumflex accent";s:6:"target";s:30:"Small i with circumflex accent";}}s:4:"Iuml";a:1:{i:0;a:2:{s:6:"source";s:31:"Capital i with umlaut/diaeresis";s:6:"target";s:31:"Capital i with umlaut/diaeresis";}}s:4:"iuml";a:1:{i:0;a:2:{s:6:"source";s:29:"Small i with umlaut/diaeresis";s:6:"target";s:29:"Small i with umlaut/diaeresis";}}s:6:"Ntilde";a:1:{i:0;a:2:{s:6:"source";s:20:"Capital n with tilde";s:6:"target";s:20:"Capital n with tilde";}}s:6:"ntilde";a:1:{i:0;a:2:{s:6:"source";s:18:"Small n with tilde";s:6:"target";s:18:"Small n with tilde";}}s:6:"Ograve";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital o with grave accent";s:6:"target";s:27:"Capital o with grave accent";}}s:6:"ograve";a:1:{i:0;a:2:{s:6:"source";s:25:"Small o with grave accent";s:6:"target";s:25:"Small o with grave accent";}}s:6:"Oacute";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital o with acute accent";s:6:"target";s:27:"Capital o with acute accent";}}s:6:"oacute";a:1:{i:0;a:2:{s:6:"source";s:25:"Small o with acute accent";s:6:"target";s:25:"Small o with acute accent";}}s:5:"Ocirc";a:1:{i:0;a:2:{s:6:"source";s:32:"Capital o with circumflex accent";s:6:"target";s:32:"Capital o with circumflex accent";}}s:5:"ocirc";a:1:{i:0;a:2:{s:6:"source";s:30:"Small o with circumflex accent";s:6:"target";s:30:"Small o with circumflex accent";}}s:6:"Otilde";a:1:{i:0;a:2:{s:6:"source";s:20:"Capital o with tilde";s:6:"target";s:20:"Capital o with tilde";}}s:6:"otilde";a:1:{i:0;a:2:{s:6:"source";s:18:"Small o with tilde";s:6:"target";s:18:"Small o with tilde";}}s:4:"Ouml";a:1:{i:0;a:2:{s:6:"source";s:31:"Capital o with umlaut/diaeresis";s:6:"target";s:31:"Capital o with umlaut/diaeresis";}}s:4:"ouml";a:1:{i:0;a:2:{s:6:"source";s:29:"Small o with umlaut/diaeresis";s:6:"target";s:29:"Small o with umlaut/diaeresis";}}s:6:"Oslash";a:1:{i:0;a:2:{s:6:"source";s:20:"Capital o with slash";s:6:"target";s:20:"Capital o with slash";}}s:6:"oslash";a:1:{i:0;a:2:{s:6:"source";s:18:"Small o with slash";s:6:"target";s:18:"Small o with slash";}}s:5:"OElig";a:1:{i:0;a:2:{s:6:"source";s:19:"Capital ligature OE";s:6:"target";s:19:"Capital ligature OE";}}s:5:"oelig";a:1:{i:0;a:2:{s:6:"source";s:17:"Small ligature OE";s:6:"target";s:17:"Small ligature OE";}}s:4:"ordm";a:1:{i:0;a:2:{s:6:"source";s:27:"Masculine ordinal indicator";s:6:"target";s:27:"Masculine ordinal indicator";}}s:6:"Scaron";a:1:{i:0;a:2:{s:6:"source";s:20:"Capital s with caron";s:6:"target";s:20:"Capital s with caron";}}s:6:"scaron";a:1:{i:0;a:2:{s:6:"source";s:18:"Small s with caron";s:6:"target";s:18:"Small s with caron";}}s:5:"szlig";a:1:{i:0;a:2:{s:6:"source";s:21:"Small sharp s, German";s:6:"target";s:21:"Small sharp s, German";}}s:5:"THORN";a:1:{i:0;a:2:{s:6:"source";s:24:"Capital THORN, Icelandic";s:6:"target";s:24:"Capital THORN, Icelandic";}}s:5:"thorn";a:1:{i:0;a:2:{s:6:"source";s:22:"Small thorn, Icelandic";s:6:"target";s:22:"Small thorn, Icelandic";}}s:6:"Ugrave";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital u with grave accent";s:6:"target";s:27:"Capital u with grave accent";}}s:6:"ugrave";a:1:{i:0;a:2:{s:6:"source";s:25:"Small u with grave accent";s:6:"target";s:25:"Small u with grave accent";}}s:6:"Uacute";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital u with acute accent";s:6:"target";s:27:"Capital u with acute accent";}}s:6:"uacute";a:1:{i:0;a:2:{s:6:"source";s:25:"Small u with acute accent";s:6:"target";s:25:"Small u with acute accent";}}s:5:"Ucirc";a:1:{i:0;a:2:{s:6:"source";s:32:"Capital u with circumflex accent";s:6:"target";s:32:"Capital u with circumflex accent";}}s:5:"ucirc";a:1:{i:0;a:2:{s:6:"source";s:30:"Small u with circumflex accent";s:6:"target";s:30:"Small u with circumflex accent";}}s:4:"Uuml";a:1:{i:0;a:2:{s:6:"source";s:31:"Capital u with umlaut/diaeresis";s:6:"target";s:31:"Capital u with umlaut/diaeresis";}}s:4:"uuml";a:1:{i:0;a:2:{s:6:"source";s:29:"Small u with umlaut/diaeresis";s:6:"target";s:29:"Small u with umlaut/diaeresis";}}s:6:"Yacute";a:1:{i:0;a:2:{s:6:"source";s:27:"Capital y with acute accent";s:6:"target";s:27:"Capital y with acute accent";}}s:6:"yacute";a:1:{i:0;a:2:{s:6:"source";s:25:"Small y with acute accent";s:6:"target";s:25:"Small y with acute accent";}}s:4:"Yuml";a:1:{i:0;a:2:{s:6:"source";s:31:"Capital y with umlaut/diaeresis";s:6:"target";s:31:"Capital y with umlaut/diaeresis";}}s:4:"yuml";a:1:{i:0;a:2:{s:6:"source";s:29:"Small y with umlaut/diaeresis";s:6:"target";s:29:"Small y with umlaut/diaeresis";}}s:5:"acute";a:1:{i:0;a:2:{s:6:"source";s:13:"Spacing acute";s:6:"target";s:13:"Spacing acute";}}s:4:"circ";a:1:{i:0;a:2:{s:6:"source";s:33:"Modifier letter circumflex accent";s:6:"target";s:33:"Modifier letter circumflex accent";}}s:5:"tilde";a:1:{i:0;a:2:{s:6:"source";s:11:"Small tilde";s:6:"target";s:11:"Small tilde";}}s:3:"uml";a:1:{i:0;a:2:{s:6:"source";s:17:"Spacing diaeresis";s:6:"target";s:17:"Spacing diaeresis";}}s:5:"cedil";a:1:{i:0;a:2:{s:6:"source";s:15:"Spacing cedilla";s:6:"target";s:15:"Spacing cedilla";}}s:3:"shy";a:1:{i:0;a:2:{s:6:"source";s:11:"Soft hyphen";s:6:"target";s:11:"Soft hyphen";}}s:5:"ndash";a:1:{i:0;a:2:{s:6:"source";s:7:"En dash";s:6:"target";s:7:"En dash";}}s:5:"mdash";a:1:{i:0;a:2:{s:6:"source";s:7:"Em dash";s:6:"target";s:7:"Em dash";}}s:5:"lsquo";a:1:{i:0;a:2:{s:6:"source";s:26:"Left single quotation mark";s:6:"target";s:26:"Left single quotation mark";}}s:5:"rsquo";a:1:{i:0;a:2:{s:6:"source";s:27:"Right single quotation mark";s:6:"target";s:27:"Right single quotation mark";}}s:5:"sbquo";a:1:{i:0;a:2:{s:6:"source";s:27:"Single low-9 quotation mark";s:6:"target";s:27:"Single low-9 quotation mark";}}s:5:"ldquo";a:1:{i:0;a:2:{s:6:"source";s:26:"Left double quotation mark";s:6:"target";s:26:"Left double quotation mark";}}s:5:"rdquo";a:1:{i:0;a:2:{s:6:"source";s:27:"Right double quotation mark";s:6:"target";s:27:"Right double quotation mark";}}s:5:"bdquo";a:1:{i:0;a:2:{s:6:"source";s:27:"Double low-9 quotation mark";s:6:"target";s:27:"Double low-9 quotation mark";}}s:6:"lsaquo";a:1:{i:0;a:2:{s:6:"source";s:27:"Single left angle quotation";s:6:"target";s:27:"Single left angle quotation";}}s:6:"rsaquo";a:1:{i:0;a:2:{s:6:"source";s:28:"Single right angle quotation";s:6:"target";s:28:"Single right angle quotation";}}s:5:"laquo";a:1:{i:0;a:2:{s:6:"source";s:25:"Left angle quotation mark";s:6:"target";s:25:"Left angle quotation mark";}}s:5:"raquo";a:1:{i:0;a:2:{s:6:"source";s:26:"Right angle quotation mark";s:6:"target";s:26:"Right angle quotation mark";}}s:4:"quot";a:1:{i:0;a:2:{s:6:"source";s:14:"Quotation mark";s:6:"target";s:14:"Quotation mark";}}s:6:"hellip";a:1:{i:0;a:2:{s:6:"source";s:19:"Horizontal ellipsis";s:6:"target";s:19:"Horizontal ellipsis";}}s:6:"iquest";a:1:{i:0;a:2:{s:6:"source";s:22:"Inverted question mark";s:6:"target";s:22:"Inverted question mark";}}s:5:"iexcl";a:1:{i:0;a:2:{s:6:"source";s:25:"Inverted exclamation mark";s:6:"target";s:25:"Inverted exclamation mark";}}s:4:"bull";a:1:{i:0;a:2:{s:6:"source";s:6:"Bullet";s:6:"target";s:6:"Bullet";}}s:6:"dagger";a:1:{i:0;a:2:{s:6:"source";s:6:"Dagger";s:6:"target";s:6:"Dagger";}}s:6:"Dagger";a:1:{i:0;a:2:{s:6:"source";s:13:"Double dagger";s:6:"target";s:13:"Double dagger";}}s:6:"brvbar";a:1:{i:0;a:2:{s:6:"source";s:19:"Broken vertical bar";s:6:"target";s:19:"Broken vertical bar";}}s:4:"para";a:1:{i:0;a:2:{s:6:"source";s:9:"Paragraph";s:6:"target";s:9:"Paragraph";}}s:4:"sect";a:1:{i:0;a:2:{s:6:"source";s:7:"Section";s:6:"target";s:7:"Section";}}s:3:"loz";a:1:{i:0;a:2:{s:6:"source";s:7:"Lozenge";s:6:"target";s:7:"Lozenge";}}s:4:"#064";a:1:{i:0;a:2:{s:6:"source";s:2:"At";s:6:"target";s:2:"At";}}s:4:"copy";a:1:{i:0;a:2:{s:6:"source";s:9:"Copyright";s:6:"target";s:9:"Copyright";}}s:3:"reg";a:1:{i:0;a:2:{s:6:"source";s:20:"Registered trademark";s:6:"target";s:20:"Registered trademark";}}s:5:"trade";a:1:{i:0;a:2:{s:6:"source";s:9:"Trademark";s:6:"target";s:9:"Trademark";}}s:6:"curren";a:1:{i:0;a:2:{s:6:"source";s:8:"Currency";s:6:"target";s:8:"Currency";}}s:4:"cent";a:1:{i:0;a:2:{s:6:"source";s:4:"Cent";s:6:"target";s:4:"Cent";}}s:4:"euro";a:1:{i:0;a:2:{s:6:"source";s:4:"Euro";s:6:"target";s:4:"Euro";}}s:5:"pound";a:1:{i:0;a:2:{s:6:"source";s:5:"Pound";s:6:"target";s:5:"Pound";}}s:3:"yen";a:1:{i:0;a:2:{s:6:"source";s:3:"Yen";s:6:"target";s:3:"Yen";}}s:4:"emsp";a:1:{i:0;a:2:{s:6:"source";s:8:"Em space";s:6:"target";s:8:"Em space";}}s:4:"ensp";a:1:{i:0;a:2:{s:6:"source";s:8:"En space";s:6:"target";s:8:"En space";}}s:6:"thinsp";a:1:{i:0;a:2:{s:6:"source";s:10:"Thin space";s:6:"target";s:10:"Thin space";}}s:3:"zwj";a:1:{i:0;a:2:{s:6:"source";s:17:"Zero width joiner";s:6:"target";s:17:"Zero width joiner";}}s:4:"zwnj";a:1:{i:0;a:2:{s:6:"source";s:21:"Zero width non-joiner";s:6:"target";s:21:"Zero width non-joiner";}}s:5:"minus";a:1:{i:0;a:2:{s:6:"source";s:10:"Minus sign";s:6:"target";s:10:"Minus sign";}}s:6:"plusmn";a:1:{i:0;a:2:{s:6:"source";s:18:"Plus-or-minus sign";s:6:"target";s:18:"Plus-or-minus sign";}}s:5:"times";a:1:{i:0;a:2:{s:6:"source";s:14:"Multiplication";s:6:"target";s:14:"Multiplication";}}s:6:"divide";a:1:{i:0;a:2:{s:6:"source";s:8:"Division";s:6:"target";s:8:"Division";}}s:5:"radic";a:1:{i:0;a:2:{s:6:"source";s:11:"Square root";s:6:"target";s:11:"Square root";}}s:4:"sdot";a:1:{i:0;a:2:{s:6:"source";s:12:"Dot operator";s:6:"target";s:12:"Dot operator";}}s:6:"otimes";a:1:{i:0;a:2:{s:6:"source";s:14:"Vector product";s:6:"target";s:14:"Vector product";}}s:6:"lowast";a:1:{i:0;a:2:{s:6:"source";s:17:"Asterisk operator";s:6:"target";s:17:"Asterisk operator";}}s:2:"ge";a:1:{i:0;a:2:{s:6:"source";s:24:"Greater than or equal to";s:6:"target";s:24:"Greater than or equal to";}}s:2:"le";a:1:{i:0;a:2:{s:6:"source";s:21:"Less than or equal to";s:6:"target";s:21:"Less than or equal to";}}s:2:"ne";a:1:{i:0;a:2:{s:6:"source";s:12:"Not equal to";s:6:"target";s:12:"Not equal to";}}s:5:"asymp";a:1:{i:0;a:2:{s:6:"source";s:30:"Almost equal to, asymptotic to";s:6:"target";s:30:"Almost equal to, asymptotic to";}}s:3:"sim";a:1:{i:0;a:2:{s:6:"source";s:23:"Varies with, similar to";s:6:"target";s:23:"Varies with, similar to";}}s:4:"prop";a:1:{i:0;a:2:{s:6:"source";s:15:"Proportional to";s:6:"target";s:15:"Proportional to";}}s:3:"deg";a:1:{i:0;a:2:{s:6:"source";s:6:"Degree";s:6:"target";s:6:"Degree";}}s:5:"prime";a:1:{i:0;a:2:{s:6:"source";s:20:"Prime, minutes, feet";s:6:"target";s:20:"Prime, minutes, feet";}}s:5:"Prime";a:1:{i:0;a:2:{s:6:"source";s:29:"Double prime, seconds, inches";s:6:"target";s:29:"Double prime, seconds, inches";}}s:5:"micro";a:1:{i:0;a:2:{s:6:"source";s:5:"Micro";s:6:"target";s:5:"Micro";}}s:3:"ang";a:1:{i:0;a:2:{s:6:"source";s:5:"Angle";s:6:"target";s:5:"Angle";}}s:4:"perp";a:1:{i:0;a:2:{s:6:"source";s:31:"Orthogonal to, perpendicular to";s:6:"target";s:31:"Orthogonal to, perpendicular to";}}s:6:"permil";a:1:{i:0;a:2:{s:6:"source";s:9:"Per mille";s:6:"target";s:9:"Per mille";}}s:5:"frasl";a:1:{i:0;a:2:{s:6:"source";s:14:"Fraction slash";s:6:"target";s:14:"Fraction slash";}}s:6:"frac14";a:1:{i:0;a:2:{s:6:"source";s:12:"Fraction 1/4";s:6:"target";s:12:"Fraction 1/4";}}s:6:"frac12";a:1:{i:0;a:2:{s:6:"source";s:12:"Fraction 1/2";s:6:"target";s:12:"Fraction 1/2";}}s:6:"frac34";a:1:{i:0;a:2:{s:6:"source";s:12:"Fraction 3/4";s:6:"target";s:12:"Fraction 3/4";}}s:4:"sup1";a:1:{i:0;a:2:{s:6:"source";s:13:"Superscript 1";s:6:"target";s:13:"Superscript 1";}}s:4:"sup2";a:1:{i:0;a:2:{s:6:"source";s:13:"Superscript 2";s:6:"target";s:13:"Superscript 2";}}s:4:"sup3";a:1:{i:0;a:2:{s:6:"source";s:13:"Superscript 3";s:6:"target";s:13:"Superscript 3";}}s:3:"not";a:1:{i:0;a:2:{s:6:"source";s:8:"Negation";s:6:"target";s:8:"Negation";}}s:3:"and";a:1:{i:0;a:2:{s:6:"source";s:11:"Logical and";s:6:"target";s:11:"Logical and";}}s:2:"or";a:1:{i:0;a:2:{s:6:"source";s:10:"Logical or";s:6:"target";s:10:"Logical or";}}s:6:"there4";a:1:{i:0;a:2:{s:6:"source";s:9:"Therefore";s:6:"target";s:9:"Therefore";}}s:4:"cong";a:1:{i:0;a:2:{s:6:"source";s:12:"Congruent to";s:6:"target";s:12:"Congruent to";}}s:4:"isin";a:1:{i:0;a:2:{s:6:"source";s:13:"Is element of";s:6:"target";s:13:"Is element of";}}s:2:"ni";a:1:{i:0;a:2:{s:6:"source";s:18:"Contains as member";s:6:"target";s:18:"Contains as member";}}s:5:"notin";a:1:{i:0;a:2:{s:6:"source";s:20:"Is not an element of";s:6:"target";s:20:"Is not an element of";}}s:3:"sub";a:1:{i:0;a:2:{s:6:"source";s:16:"Proper subset of";s:6:"target";s:16:"Proper subset of";}}s:4:"sube";a:1:{i:0;a:2:{s:6:"source";s:21:"Subset of or equal to";s:6:"target";s:21:"Subset of or equal to";}}s:4:"nsub";a:1:{i:0;a:2:{s:6:"source";s:13:"Not subset of";s:6:"target";s:13:"Not subset of";}}s:3:"sup";a:1:{i:0;a:2:{s:6:"source";s:18:"Proper superset of";s:6:"target";s:18:"Proper superset of";}}s:4:"supe";a:1:{i:0;a:2:{s:6:"source";s:23:"Superset of or equal to";s:6:"target";s:23:"Superset of or equal to";}}s:3:"cap";a:1:{i:0;a:2:{s:6:"source";s:12:"Intersection";s:6:"target";s:12:"Intersection";}}s:3:"cup";a:1:{i:0;a:2:{s:6:"source";s:5:"Union";s:6:"target";s:5:"Union";}}s:5:"oplus";a:1:{i:0;a:2:{s:6:"source";s:10:"Direct sum";s:6:"target";s:10:"Direct sum";}}s:5:"nabla";a:1:{i:0;a:2:{s:6:"source";s:8:"Gradient";s:6:"target";s:8:"Gradient";}}s:5:"empty";a:1:{i:0;a:2:{s:6:"source";s:9:"Empty set";s:6:"target";s:9:"Empty set";}}s:5:"equiv";a:1:{i:0;a:2:{s:6:"source";s:10:"Equivalent";s:6:"target";s:10:"Equivalent";}}s:3:"sum";a:1:{i:0;a:2:{s:6:"source";s:3:"Sum";s:6:"target";s:3:"Sum";}}s:4:"prod";a:1:{i:0;a:2:{s:6:"source";s:7:"Product";s:6:"target";s:7:"Product";}}s:6:"weierp";a:1:{i:0;a:2:{s:6:"source";s:25:"Power set (Weierstrass p)";s:6:"target";s:25:"Power set (Weierstrass p)";}}s:5:"exist";a:1:{i:0;a:2:{s:6:"source";s:12:"There exists";s:6:"target";s:12:"There exists";}}s:6:"forall";a:1:{i:0;a:2:{s:6:"source";s:7:"For all";s:6:"target";s:7:"For all";}}s:5:"infin";a:1:{i:0;a:2:{s:6:"source";s:8:"Infinity";s:6:"target";s:8:"Infinity";}}s:7:"alefsym";a:1:{i:0;a:2:{s:6:"source";s:33:"Alef (first transfinite cardinal)";s:6:"target";s:33:"Alef (first transfinite cardinal)";}}s:4:"real";a:1:{i:0;a:2:{s:6:"source";s:27:"Real part of complex number";s:6:"target";s:27:"Real part of complex number";}}s:5:"image";a:1:{i:0;a:2:{s:6:"source";s:32:"Imaginary part of complex number";s:6:"target";s:32:"Imaginary part of complex number";}}s:4:"fnof";a:1:{i:0;a:2:{s:6:"source";s:8:"Function";s:6:"target";s:8:"Function";}}s:3:"int";a:1:{i:0;a:2:{s:6:"source";s:8:"Integral";s:6:"target";s:8:"Integral";}}s:4:"part";a:1:{i:0;a:2:{s:6:"source";s:20:"Partial differential";s:6:"target";s:20:"Partial differential";}}s:5:"Alpha";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter alpha";s:6:"target";s:26:"Greek capital letter alpha";}}s:5:"alpha";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter alpha";s:6:"target";s:24:"Greek small letter alpha";}}s:4:"Beta";a:1:{i:0;a:2:{s:6:"source";s:25:"Greek capital letter beta";s:6:"target";s:25:"Greek capital letter beta";}}s:4:"beta";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek small letter beta";s:6:"target";s:23:"Greek small letter beta";}}s:5:"Gamma";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter gamma";s:6:"target";s:26:"Greek capital letter gamma";}}s:5:"gamma";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter gamma";s:6:"target";s:24:"Greek small letter gamma";}}s:5:"Delta";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter delta";s:6:"target";s:26:"Greek capital letter delta";}}s:5:"delta";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter delta";s:6:"target";s:24:"Greek small letter delta";}}s:7:"Epsilon";a:1:{i:0;a:2:{s:6:"source";s:28:"Greek capital letter epsilon";s:6:"target";s:28:"Greek capital letter epsilon";}}s:7:"epsilon";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek small letter epsilon";s:6:"target";s:26:"Greek small letter epsilon";}}s:4:"Zeta";a:1:{i:0;a:2:{s:6:"source";s:25:"Greek capital letter zeta";s:6:"target";s:25:"Greek capital letter zeta";}}s:4:"zeta";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek small letter zeta";s:6:"target";s:23:"Greek small letter zeta";}}s:3:"Eta";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek capital letter eta";s:6:"target";s:24:"Greek capital letter eta";}}s:3:"eta";a:1:{i:0;a:2:{s:6:"source";s:22:"Greek small letter eta";s:6:"target";s:22:"Greek small letter eta";}}s:5:"Theta";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter theta";s:6:"target";s:26:"Greek capital letter theta";}}s:5:"theta";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter theta";s:6:"target";s:24:"Greek small letter theta";}}s:8:"thetasym";a:1:{i:0;a:2:{s:6:"source";s:31:"Greek small letter theta symbol";s:6:"target";s:31:"Greek small letter theta symbol";}}s:4:"Iota";a:1:{i:0;a:2:{s:6:"source";s:25:"Greek capital letter iota";s:6:"target";s:25:"Greek capital letter iota";}}s:4:"iota";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek small letter iota";s:6:"target";s:23:"Greek small letter iota";}}s:5:"Kappa";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter kappa";s:6:"target";s:26:"Greek capital letter kappa";}}s:5:"kappa";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter kappa";s:6:"target";s:24:"Greek small letter kappa";}}s:6:"Lambda";a:1:{i:0;a:2:{s:6:"source";s:27:"Greek capital letter lambda";s:6:"target";s:27:"Greek capital letter lambda";}}s:6:"lambda";a:1:{i:0;a:2:{s:6:"source";s:25:"Greek small letter lambda";s:6:"target";s:25:"Greek small letter lambda";}}s:2:"Mu";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek capital letter mu";s:6:"target";s:23:"Greek capital letter mu";}}s:2:"mu";a:1:{i:0;a:2:{s:6:"source";s:21:"Greek small letter mu";s:6:"target";s:21:"Greek small letter mu";}}s:2:"Nu";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek capital letter nu";s:6:"target";s:23:"Greek capital letter nu";}}s:2:"nu";a:1:{i:0;a:2:{s:6:"source";s:21:"Greek small letter nu";s:6:"target";s:21:"Greek small letter nu";}}s:2:"Xi";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek capital letter xi";s:6:"target";s:23:"Greek capital letter xi";}}s:2:"xi";a:1:{i:0;a:2:{s:6:"source";s:21:"Greek small letter xi";s:6:"target";s:21:"Greek small letter xi";}}s:7:"Omicron";a:1:{i:0;a:2:{s:6:"source";s:28:"Greek capital letter omicron";s:6:"target";s:28:"Greek capital letter omicron";}}s:7:"omicron";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek small letter omicron";s:6:"target";s:26:"Greek small letter omicron";}}s:2:"Pi";a:1:{i:0;a:2:{s:6:"source";s:23:"Greek capital letter pi";s:6:"target";s:23:"Greek capital letter pi";}}s:2:"pi";a:1:{i:0;a:2:{s:6:"source";s:21:"Greek small letter pi";s:6:"target";s:21:"Greek small letter pi";}}s:3:"piv";a:1:{i:0;a:2:{s:6:"source";s:15:"Greek pi symbol";s:6:"target";s:15:"Greek pi symbol";}}s:3:"Rho";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek capital letter rho";s:6:"target";s:24:"Greek capital letter rho";}}s:3:"rho";a:1:{i:0;a:2:{s:6:"source";s:22:"Greek small letter rho";s:6:"target";s:22:"Greek small letter rho";}}s:5:"Sigma";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter sigma";s:6:"target";s:26:"Greek capital letter sigma";}}s:5:"sigma";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter sigma";s:6:"target";s:24:"Greek small letter sigma";}}s:6:"sigmaf";a:1:{i:0;a:2:{s:6:"source";s:30:"Greek small letter final sigma";s:6:"target";s:30:"Greek small letter final sigma";}}s:3:"Tau";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek capital letter tau";s:6:"target";s:24:"Greek capital letter tau";}}s:3:"tau";a:1:{i:0;a:2:{s:6:"source";s:22:"Greek small letter tau";s:6:"target";s:22:"Greek small letter tau";}}s:7:"Upsilon";a:1:{i:0;a:2:{s:6:"source";s:28:"Greek capital letter upsilon";s:6:"target";s:28:"Greek capital letter upsilon";}}s:5:"upsih";a:1:{i:0;a:2:{s:6:"source";s:30:"Greek upsilon with hook symbol";s:6:"target";s:30:"Greek upsilon with hook symbol";}}s:7:"upsilon";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek small letter upsilon";s:6:"target";s:26:"Greek small letter upsilon";}}s:3:"Phi";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek capital letter phi";s:6:"target";s:24:"Greek capital letter phi";}}s:3:"phi";a:1:{i:0;a:2:{s:6:"source";s:22:"Greek small letter phi";s:6:"target";s:22:"Greek small letter phi";}}s:3:"Chi";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek capital letter chi";s:6:"target";s:24:"Greek capital letter chi";}}s:3:"chi";a:1:{i:0;a:2:{s:6:"source";s:22:"Greek small letter chi";s:6:"target";s:22:"Greek small letter chi";}}s:3:"Psi";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek capital letter psi";s:6:"target";s:24:"Greek capital letter psi";}}s:3:"psi";a:1:{i:0;a:2:{s:6:"source";s:22:"Greek small letter psi";s:6:"target";s:22:"Greek small letter psi";}}s:5:"Omega";a:1:{i:0;a:2:{s:6:"source";s:26:"Greek capital letter omega";s:6:"target";s:26:"Greek capital letter omega";}}s:5:"omega";a:1:{i:0;a:2:{s:6:"source";s:24:"Greek small letter omega";s:6:"target";s:24:"Greek small letter omega";}}s:5:"crarr";a:1:{i:0;a:2:{s:6:"source";s:21:"Carriage return arrow";s:6:"target";s:21:"Carriage return arrow";}}s:4:"uarr";a:1:{i:0;a:2:{s:6:"source";s:13:"Upwards arrow";s:6:"target";s:13:"Upwards arrow";}}s:4:"darr";a:1:{i:0;a:2:{s:6:"source";s:15:"Downwards arrow";s:6:"target";s:15:"Downwards arrow";}}s:4:"larr";a:1:{i:0;a:2:{s:6:"source";s:15:"Leftwards arrow";s:6:"target";s:15:"Leftwards arrow";}}s:4:"rarr";a:1:{i:0;a:2:{s:6:"source";s:16:"Rightwards arrow";s:6:"target";s:16:"Rightwards arrow";}}s:4:"harr";a:1:{i:0;a:2:{s:6:"source";s:16:"Left right arrow";s:6:"target";s:16:"Left right arrow";}}s:4:"uArr";a:1:{i:0;a:2:{s:6:"source";s:20:"Upwards double arrow";s:6:"target";s:20:"Upwards double arrow";}}s:4:"dArr";a:1:{i:0;a:2:{s:6:"source";s:22:"Downwards double arrow";s:6:"target";s:22:"Downwards double arrow";}}s:4:"lArr";a:1:{i:0;a:2:{s:6:"source";s:22:"Leftwards double arrow";s:6:"target";s:22:"Leftwards double arrow";}}s:4:"rArr";a:1:{i:0;a:2:{s:6:"source";s:23:"Rightwards double arrow";s:6:"target";s:23:"Rightwards double arrow";}}s:4:"hArr";a:1:{i:0;a:2:{s:6:"source";s:23:"Left right double arrow";s:6:"target";s:23:"Left right double arrow";}}s:5:"clubs";a:1:{i:0;a:2:{s:6:"source";s:4:"Club";s:6:"target";s:4:"Club";}}s:5:"diams";a:1:{i:0;a:2:{s:6:"source";s:7:"Diamond";s:6:"target";s:7:"Diamond";}}s:6:"hearts";a:1:{i:0;a:2:{s:6:"source";s:5:"Heart";s:6:"target";s:5:"Heart";}}s:6:"spades";a:1:{i:0;a:2:{s:6:"source";s:5:"Spade";s:6:"target";s:5:"Spade";}}}0             27122