⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 iso-pub.ent

📁 这是外国一个开源推理机
💻 ENT
字号:
<!-- iso-pub.ent (initially distributed with DocBook XML DTD V4.1.1beta1) --><!-- Derived from the corresponding ISO 8879 standard entity set     and the Unicode character mappings provided by Sebastian Rahtz --><!ENTITY emsp	"&#x2003;"> <!-- EM SPACE --><!ENTITY ensp	"&#x2002;"> <!-- EN SPACE --><!ENTITY emsp13	"&#x2004;"> <!-- THREE-PER-EM SPACE --><!ENTITY emsp14	"&#x2005;"> <!-- FOUR-PER-EM SPACE --><!ENTITY numsp	"&#x2007;"> <!-- FIGURE SPACE --><!ENTITY puncsp	"&#x2008;"> <!-- PUNCTUATION SPACE --><!ENTITY thinsp	"&#x2009;"> <!-- THIN SPACE --><!ENTITY hairsp	"&#x200A;"> <!-- HAIR SPACE --><!ENTITY mdash	"&#x2014;"> <!-- EM DASH --><!ENTITY ndash	"&#x2013;"> <!-- EN DASH --><!ENTITY dash	"&#x2010;"> <!-- HYPHEN --><!ENTITY blank	"&#x2423;"> <!-- OPEN BOX --><!ENTITY hellip	"&#x2026;"> <!-- HORIZONTAL ELLIPSIS --><!ENTITY nldr	"&#x2025;"> <!-- TWO DOT LEADER --><!ENTITY frac13	"&#x2153;"> <!-- VULGAR FRACTION ONE THIRD --><!ENTITY frac23	"&#x2154;"> <!-- VULGAR FRACTION TWO THIRDS --><!ENTITY frac15	"&#x2155;"> <!-- VULGAR FRACTION ONE FIFTH --><!ENTITY frac25	"&#x2156;"> <!-- VULGAR FRACTION TWO FIFTHS --><!ENTITY frac35	"&#x2157;"> <!-- VULGAR FRACTION THREE FIFTHS --><!ENTITY frac45	"&#x2158;"> <!-- VULGAR FRACTION FOUR FIFTHS --><!ENTITY frac16	"&#x2159;"> <!-- VULGAR FRACTION ONE SIXTH --><!ENTITY frac56	"&#x215A;"> <!-- VULGAR FRACTION FIVE SIXTHS --><!ENTITY incare	"&#x2105;"> <!-- CARE OF --><!ENTITY block	"&#x2588;"> <!-- FULL BLOCK --><!ENTITY uhblk	"&#x2580;"> <!-- UPPER HALF BLOCK --><!ENTITY lhblk	"&#x2584;"> <!-- LOWER HALF BLOCK --><!ENTITY blk14	"&#x2591;"> <!-- LIGHT SHADE --><!ENTITY blk12	"&#x2592;"> <!-- MEDIUM SHADE --><!ENTITY blk34	"&#x2593;"> <!-- DARK SHADE --><!ENTITY marker	"&#x25AE;"> <!-- BLACK VERTICAL RECTANGLE --><!ENTITY cir	"&#x25CB;"> <!-- WHITE CIRCLE --><!ENTITY squ	"&#x25A1;"> <!-- WHITE SQUARE --><!ENTITY rect	"&#x25AD;"> <!-- WHITE RECTANGLE --><!ENTITY utri	"&#x25B5;"> <!-- WHITE UP-POINTING TRIANGLE --><!ENTITY dtri	"&#x25BF;"> <!-- WHITE DOWN-POINTING TRIANGLE --><!ENTITY star	"&#x22C6;"> <!-- STAR OPERATOR --><!ENTITY bull	"&#x2022;"> <!-- BULLET --><!ENTITY squf	"&#x25AA;"> <!--  --><!ENTITY utrif	"&#x25B4;"> <!-- BLACK UP-POINTING TRIANGLE --><!ENTITY dtrif	"&#x25BE;"> <!-- BLACK DOWN-POINTING TRIANGLE --><!ENTITY ltrif	"&#x25C2;"> <!-- BLACK LEFT-POINTING TRIANGLE --><!ENTITY rtrif	"&#x25B8;"> <!-- BLACK RIGHT-POINTING TRIANGLE --><!ENTITY clubs	"&#x2663;"> <!-- BLACK CLUB SUIT --><!ENTITY diams	"&#x2666;"> <!-- BLACK DIAMOND SUIT --><!ENTITY hearts	"&#x2665;"> <!-- BLACK HEART SUIT --><!ENTITY spades	"&#x2660;"> <!-- BLACK SPADE SUIT --><!ENTITY malt	"&#x2720;"> <!-- MALTESE CROSS --><!ENTITY dagger	"&#x2020;"> <!-- DAGGER --><!ENTITY Dagger	"&#x2021;"> <!-- DOUBLE DAGGER --><!ENTITY check	"&#x2713;"> <!-- CHECK MARK --><!ENTITY cross	"&#x2717;"> <!-- BALLOT X --><!ENTITY sharp	"&#x266F;"> <!-- MUSIC SHARP SIGN --><!ENTITY flat	"&#x266D;"> <!-- MUSIC FLAT SIGN --><!ENTITY male	"&#x2642;"> <!-- MALE SIGN --><!ENTITY female	"&#x2640;"> <!--  --><!ENTITY phone	"&#x260E;"> <!-- TELEPHONE SIGN --><!ENTITY telrec	"&#x2315;"> <!-- TELEPHONE RECORDER --><!ENTITY copysr	"&#x2117;"> <!-- SOUND RECORDING COPYRIGHT --><!ENTITY caret	"&#x2041;"> <!-- CARET --><!ENTITY lsquor	"&#x201A;"> <!-- SINGLE LOW-9 QUOTATION MARK --><!ENTITY ldquor	"&#x201E;"> <!-- DOUBLE LOW-9 QUOTATION MARK --><!ENTITY fflig	"&#xFB00;"> <!--  --><!ENTITY filig	"&#xFB01;"> <!--  --><!--     fjlig	Unknown unicode character --><!ENTITY ffilig	"&#xFB03;"> <!--  --><!ENTITY ffllig	"&#xFB04;"> <!--  --><!ENTITY fllig	"&#xFB02;"> <!--  --><!ENTITY mldr	"&#x2026;"> <!-- HORIZONTAL ELLIPSIS --><!ENTITY rdquor	"&#x201C;"> <!--  --><!ENTITY rsquor	"&#x2018;"> <!--  --><!ENTITY vellip	"&#x22EE;"> <!--  --><!ENTITY hybull	"&#x2043;"> <!-- HYPHEN BULLET --><!ENTITY loz	"&#x25CA;"> <!-- LOZENGE --><!ENTITY lozf	"&#x2726;"> <!--  --><!ENTITY ltri	"&#x25C3;"> <!-- WHITE LEFT-POINTING TRIANGLE --><!ENTITY rtri	"&#x25B9;"> <!-- WHITE RIGHT-POINTING TRIANGLE --><!ENTITY starf	"&#x2605;"> <!-- BLACK STAR --><!ENTITY natur	"&#x266E;"> <!-- MUSIC NATURAL SIGN --><!ENTITY rx	"&#x211E;"> <!-- PRESCRIPTION TAKE --><!ENTITY sext	"&#x2736;"> <!-- SIX POINTED BLACK STAR --><!ENTITY target	"&#x2316;"> <!-- POSITION INDICATOR --><!ENTITY dlcrop	"&#x230D;"> <!-- BOTTOM LEFT CROP --><!ENTITY drcrop	"&#x230C;"> <!-- BOTTOM RIGHT CROP --><!ENTITY ulcrop	"&#x230F;"> <!-- TOP LEFT CROP --><!ENTITY urcrop	"&#x230E;"> <!-- TOP RIGHT CROP -->

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -