有符号的

The program differentiated between data for the spreadsheet and a command for the menu by detecting the presence of a backslash character.

程序通过检查是否有斜线符号来区分电子表格数据和菜单命令，如果用户输入一个斜线符号，其后的击键将看做菜单命令，而不是数据。

As a sign of language symbolic system rose has characteristics of multivocal and ample expounds. What's the real visage of rose in several cultural traditions and is there the same symbol in China? These will be our subject in the essay.

玫瑰作为西方语言象征系统中最具有多义性和丰富性的符号之一，在几大文化传统中究竟是何面貌，中国是否也有此象征符号，将是本文要探讨的主题。

Notational systems varied widely from person to person, school to school, and region to region, and Chiang K'uei was in any event probably exceptional among literati in entering—by employing a written system at all—what was more comfortably the province of trained musicians.

符号系统不仅人人有异，而且流派于流派、地区于地区之间也是各自相异，姜夔出人意外地是使用书面符号系统——其对于训练有素的乐师而言不是难事。

A pair of sign pattern row vectors allows orthogonality if the two vectors are the sign patterns of two real orthogonal row vectors.

一对符号模式行向量是蕴含正交的，若存在一对与它们有相同符号模式的正交实行向量。

At first, the paper quote a kind of special matrix ---sign symmetric matrix , anti sign symmetric matrix , weakly sign symmetric matrix and introduced some important results in spectral property about them from some bibliographies. And then, the paper extended the formerly results and gave more general conclusions about spectral property of sign symmetric matrix.

本文首先引入了一类特殊矩阵的概念——符号对称矩阵，反符号对称矩阵以及弱符号对称矩阵，在相关文献中对这类矩阵谱特征的已经有了一些结论，本文在前人研究的基础上将相关结论做了进一步的推广，得出了有关这类符号对称矩阵谱特征的更一般性的结论。

Symbolization is one of the most important inner powers in the development of mathematics. There are three main periods in the development of the mathematic symbols.

符号化是数学发展的内在动力之一，因此分析数学符号对数学发展的影响作用就会有很大意义。

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

Finally this paper consideres an applicable case-the symbolic transition graph,then the generalized symbolic observation graph SOG and symbolic congruence graph SCG can be finite,so authors' algorithm is feasible for weak bisimulation and observation congruence.

此时由符号双迁移关系生成的符号观察图和迟符号同余图必为有穷图，因而我们的弱互模拟等价算法是可行的。

It is advisable that Chinese summary is controlled with 300 words, english summary should agree with meaning of Chinese summary article, with 200 substantival and advisable. 5, graph, watch is followed civil appear, have axiomatic sex, graph with necessary in the limit of, avoid by all means and literal content repeat, it is clear that line of value of coordinate of graph Chinese word, symbol, freely, mark value must be written, mark eye should use standard physical quantity and unit symbol, form is used 3 lines...

中文摘要以300字左右为宜，英文摘要应和中文摘要文意一致，以200个实词为宜。5、图、表随文出现，有自明性，图以必要为限，切忌和文字内容重复，图中文字、符号、纵横坐标值、标值线必须书写清楚，标目应使用标准的物理量和单位符号，表格采用三线。。。

It's not just vowels that have funny lines, You may also come across the following too!

并不是只有原因字母会有这些有趣的符号，你还会看见下面这些（注意：这就不是重音符号了！

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。