Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[RFC] 修订用于 OI wiki 的数学符号表 #4587

Closed
Tiphereth-A opened this issue Jan 9, 2023 · 15 comments · Fixed by #4760
Closed

[RFC] 修订用于 OI wiki 的数学符号表 #4587

Tiphereth-A opened this issue Jan 9, 2023 · 15 comments · Fixed by #4760
Labels
Discussion / 需要讨论 Further discussion is welcome RFC / 提案

Comments

@Tiphereth-A
Copy link
Member

Tiphereth-A commented Jan 9, 2023

随着 OI wiki 规模的不断扩大以及越来越多热心贡献者的加入,一些数学符号在不同页面出现了多种写法。

如虚数单位 $\mathrm{i}$,

不同的数学符号写法可能引起混淆(如 i 常用作程序的循环变量),所以现在需要一份详尽的数学符号表来统一页面中的符号用法。

现行的相关标准有 ISO 80000-2:2019GB/T 3102.11-1993。其中 GB/T 3102.11-1993 参考了 ISO 31-11:1992,其为 ISO 80000-2:2019 的前身。需要注意的是这些标准 不具有强制性,现在在高等教育阶段的教材和论文中常见的方案是附带一份涵盖了文章使用的绝大多数符号的符号表。

此外,ISO 80000-2:2009 中部分符号在中文环境中非常少见,如 2-11.8 中规定的排列数记号为

$$ V_{n}^{k}=n^{\underline{k}}=\frac{n!}{(n-k)!} $$

综上所述,我提议 OI wiki 应参照 ISO 80000-2:2009,结合中文环境使用习惯来制定一套应用于自身的数学符号表,并将其加入格式手册中。

@Tiphereth-A Tiphereth-A added Discussion / 需要讨论 Further discussion is welcome RFC / 提案 labels Jan 9, 2023
@Enter-tainer
Copy link
Member

补充一下,标准里面还规定了,pi作为常量,也应该是直立的。但是这似乎并不符合大家日常的使用习惯。且在LaTeX中,不方便搞出直立的pi。

@Great-designer
Copy link
Contributor

Great-designer commented Jan 9, 2023

补充一下,标准里面还规定了,pi作为常量,也应该是直立的。但是这似乎并不符合大家日常的使用习惯。且在LaTeX中,不方便搞出直立的pi。

在北大版印刷的数学书里面,e和i是直立的,而希腊字母pi和gamma等都不是。以这个为参考的话拉丁字母需要直立,希腊字母不需要。

@Great-designer
Copy link
Contributor

Great-designer commented Jan 26, 2023

感觉这个和译名表属于同一类事物 #4650

@Great-designer
Copy link
Contributor

Great-designer commented Jan 26, 2023

目前OI Wiki自己的符号表在https://oi-wiki.org/math/notation/

在参考了ISO和GB的标准之后,可以写到新位置

OI Wiki 是一个编程竞赛知识整合站点,提供有趣又实用的编程竞赛知识以及其他有帮助的内容,帮助广大编程竞赛爱好者更快更深入地学习编程竞赛

@Great-designer
Copy link
Contributor

Great-designer commented Jan 26, 2023

《格式手册》里面也有提到相关内容https://oi-wiki.org/intro/format/

可以拆分成一个二级目录,把格式手册中的符号相关单独整合出来

OI Wiki 是一个编程竞赛知识整合站点,提供有趣又实用的编程竞赛知识以及其他有帮助的内容,帮助广大编程竞赛爱好者更快更深入地学习编程竞赛

@Great-designer

This comment was marked as outdated.

@Great-designer
Copy link
Contributor

《符号表》和《格式手册》暂时整理了这些

@Great-designer
Copy link
Contributor

Great-designer commented Jan 26, 2023

这篇文章可以选择性参考:《LaTeX 数学公式大全》

https://www.luogu.com.cn/blog/IowaBattleship/latex-gong-shi-tai-quan?tdsourcetag=s_pctim_aiomsg

原文说“转载请在文章页面明显位置注明出处”,但显然并不需要全文,只需像查字典一样挑几个就行。

@Great-designer
Copy link
Contributor

Great-designer commented Jan 27, 2023

上表仅关于格式和 LaTeX 的部分暂时修订到这里。本站内部应用可能还有一堆符号尚未写进去。

看看大家的想法,有没有其他想要补充完善的部分。

目前这版符号表关于 $\LaTeX$ 的部分已经完备了,但是符号表的目的是介绍符号,而不是教人写 $\LaTeX$,教人写 $\LaTeX$ 至多为副产物而非主要目的。从而,希望在符号表中多介绍一些符号,提高符号介绍的占比。

@Tiphereth-A
Copy link
Member Author

Tiphereth-A commented Jan 27, 2023

这篇文章可以选择性参考:《LaTeX 数学公式大全》

https://www.luogu.com.cn/blog/IowaBattleship/latex-gong-shi-tai-quan?tdsourcetag=s_pctim_aiomsg

没必要参考这个,KaTeX 的文档更好一些

@Great-designer
Copy link
Contributor

没必要参考这个,KaTeX 的文档更好一些

确实,原本的链接是针对洛谷的。我上面说“希望在符号表中多介绍一些符号”也有类似的意思……希望能够多介绍介绍属于本站、体现编程竞赛特色的符号。

@untitledunrevised
Copy link
Contributor

关于括号的疑问:
\left(\right) 渲染出来的括号,两边会有空格;
\big(\big) 渲染出来的括号,两边没有空格。
推荐用哪种呢?

关于内置函数的疑问:
\exp{(x)} 渲染出来的式子,exp 的右边会有空格;
\exp(x) 渲染出来的式子,exp 的右边没有空格。
推荐用哪种呢?

@Great-designer
Copy link
Contributor

关于括号的疑问: 用 \left(\right) 渲染出来的括号,两边会有空格; 用 \big(\big) 渲染出来的括号,两边没有空格。 推荐用哪种呢?

只准使用 \left(\right) ,不可以使用 \big(\big) ,因为 \left(\right) 是自动适配内容大小的。

关于内置函数的疑问: 用 \exp{(x)} 渲染出来的式子,exp 的右边会有空格; 用 \exp(x) 渲染出来的式子,exp 的右边没有空格。 推荐用哪种呢?

推荐用 \mathrm{e}^x

@Enter-tainer
Copy link
Member

推荐用 \mathrm{e}^x

exp 也是常用的写法吧,不过我还真没研究过这个空格...

@Enter-tainer
Copy link
Member

不可以使用 \big(\big)

这个见仁见智了,对于比较高级的用户,手调可以出来更好看的效果,不过大部分情况还是直接left right方便

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Discussion / 需要讨论 Further discussion is welcome RFC / 提案
Projects
None yet
4 participants