本标准规定了文献书目信息交换用数学字符的编码字符集。内容包括代码表、字符含义注解及附注三个部分。 GB/T 6513-1986 文献书目信息交换用数学字符编码字符集 GB/T6513-1986 标准下载解压密码：www.bzxz.net

1引言
中华人民共和国国家标准
文献书目信息交换用数
学字符编码字符集
Character setforbibliographic informationinterchange on mathematical
coding of characters
UDC 681.3
GB 651386
1.1本标准规定了文献书目信息交换用数学字符的编码字符集。内容包括代码表、字符含义注解及附注三个部分。
1.2本标准采纳GB2311一80《信息处理交换用的七位编码字符集的扩充方法》中的有关规定，并和GB1988一80《信息处理交换用的七位编码字符集》及GB2312一80《信息处理交换用的汉字编码字符集基本集》同构成了我国文献书日信息交换用的编码符集。1.8本标准收录的字符所包括的学科范围有逻辑学、集合学、数论、算术、三角、代数、微积分、微分方程、函数论、泛函分析、儿何学、拓朴学、概率论、数理统计、运筹学、数值分析、离散数学、力学、向量科学、控制论、计算机科学。1.4数学字符集应包括数学领域中使用的各种符号，但是本标准对于那些采用各种义字符号组合而构成的标识符、函数名、运篇符等基本不予收集。1.5有相同形态的字符在不所场合叫往往代表不同的意义，在本标准中对于符号的“意义”不予以考虑。在含义注解部分，尽量给出了些常用意义的说明，但是这些说明既不是强制性的，也不可能详尽无遗。
1.6数学字符除字符本身形态外还应有字符间“相对位置”的描述。即一个字符与另一个字符由于其相对位置不同，或同一符号其作用对象的长度不同，往往含有不同的“意义”。这个问题不属于本标准规定的范围。
1.7本标准的实施遵从GB2311一80《信息处理交换用七位编码子符集的扩充方法》的规定2代码表
2.1代码表 1—
基本集G心
国家标准局1986-06-19发布
1987-06-01实施
GB 651386
b. babtb.
GB6513-86
基本集的扩充G1
2.2代码表 2
3字符含义注解
3.1代码表1的图注，见表3。
表中的位置
GB 6513 --86
名称或含义
否定（斜邦）
否定（长杠）
否（短打）
否定（横打）
（反时得方向转的阅）
（顺时针方向转的圆）
（宁符上面的点）
（字符上面的两个点）
（字符上面的面）
（宁符上面的“帽子”）
(字符上面的～)
(字符上面的萨头)
（顺时针箭头）
加减号：止或负
等价子
约等于
恒等于
小十或等十
小于或大于
小于或等价于
选运小于
平行于
（度的符号》
左角括号
左闭括号
开开括号
减加号
渐运等于
重叠占位的符号
重叠占位的符号
重叠凸位的符号
重叠占价的符号
积分用的重叠占位的符号
积分用的承登占位的符号
积分川的重查征的符弓
多个圆（积分并）用的重叠齿位的符号
重餐占位的符号
重叠占位的行号
重登占位的符号
重叠占位的符弓
重叠占位的符号
五叠巧做的符号
重翌占位的衍号
又：否定
支：等价
又：矩阵的模
又：拉普拉斯算了
指有主角的因
表中的位置
相似于
近拟等于
GB 6513—86
续表3
名称或含义
大于或等于
大于或小于
大于或等价于
远远大于
垂直于
微（差）分向盘算子
千分（符号）比
右角括号
右闭号
右开括号
尤穷大或无限大
集合的真被包含
集个的相等或被包含
属于（作为集合的元素）
集合或类的和
全称垦词（对于所有的）
取补（集）运算符
增加！指数
关系的前域
（反时针箭头）
相主蕴含
相丘蕴含
函数对应符号
（向上双扫前头）
被蕴含
当且仪当
开方号
集合的真包含
集的相等或包含
类的交
失晟微分算符
又：被蕴含
左箭头在右箭头之上
又：相五蕴含
又：蕴含
表中的位胃
GB 6513-86
名称或含义
存在出调(存在有)
（顺时针前头）
直美系
相蕴伞
(南下双杠帝头）
（侵当）
（尚上和的下的双杠游头）
遵鞋乘
（分式中的一杜）
逻辑缩含
积分号
上市段分号
市分号
码微有符导或偏导数符号
将朗克常数
复台运筑，合成运郊
3.2代码表2的图法，见表4。
表中的位置
对称准
名称或命义
『接乘；并炎！
张量！
在萌头在无前买之上
义：分，英尺
义：砂，英于
义：逻积；个取
文：遥辑断定
义：接和
文：接私非圾
表出的位置
GB65136
续表4
名弥就含义
埃尔米特共轨阵
晟大正数
司位相仪
优先！
不等价卡
不渐近，不约等下
既不小」也不等：
既不小包不免费标准bzxz.net
既不小」不等
小主不李于
通近似不等！
秋低扭或等价」
被蕴兮
渐近受等上
不渐近地等」
既不渐避支不等下
几池价！
既不大“文不等下
既不大小不价
大得不下
秩高！
模南」或炼：
接近」坡
义：笋术笋
义：也含或等价1
义：逛似相等
裁心的位置
GB 6513—86
续表4
名称或含义
哈米顿筛子
集合严格地被包含
巢合不真被包含
不被包含或不等
不属下
华合或类的和或并运算
被包念
（向西北指针）
（向西南指针）
（边上指针）
不题向了
曲指针
长方形
集合严格地包舍
集合不真包含
不包含
不包含
类或集的交或积流章
（向东北指针）
（向东肃指）
函数相应
满绑（映象于上）
不存在（存在缺词的否起)
证明的结束
丫行四边形
球面角
近似，是…的象
几何比
成正比
含义与车相同
含义相同
义：跟制算了
又：达朗贝尔算子
含义等相同
又：增加
文：减少
表中的位置
波彤号
叙述为真
逻辑断定
不平行」
GB 6513—86
续表4
名称或含义
医生用的充
国道积分
顺时外指向为围道秩分
反时针指向的围道积分
顺时针积分
颜倒的“希躺字母（yota）\
维尔斯特拉断椭圆函数
又：逻辑真
又：遂辑蕴含
4.1当使用不同的铅字即刷出的字符，其字体大小不同时，该字符编码并不改变。当-个字符的形状，大小或位置在文献有特别意义时，应当用控制符指出。4.2本标准的：-般原则是，已在其他标准收入的字符，一律沿用原标准的编码，不再另行编码。但风是本标准已给出了编码的字符，当其在文献中是数学字符时，一律采用本标准给定的编码。4.3本标准对一些常见的否定符号给出了单独的编码。另外,亦可聚用重登组成的方索另行编码。附加说明：
本标准由全国文献L作标滩化技术委员会第四分委员会提出。本标淮由清华大学负责起草。
本标滩王要起节人安树兰、马振华、林翠芹。
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。