Lean常用字符,数学,希腊字符

分享时间：15天20小时前 0

复制网址

如何使用？

简介

用Lean语法可以在其他文本窗口输入Lean数学字符如ℝ ℤ,用空格转化,开启了输入法退格,在VS中不影响使用

演示动画

暂无~

操作定义

指令文本	标题	操作类型
\subsetneq		InputText
\<-		InputText
\==>		InputText
\->		InputText
\all		InputText
\alpha		InputText
\and		InputText
\angle		InputText
\approx		InputText
\ast		InputText
\bbC		InputText
\bbN		InputText
\bbQ		InputText
\bbR		InputText
\bbZ		InputText
\beta		InputText
\bigcap		InputText
\bigcup		InputText
\bot		InputText
\bullet		InputText
\C		InputText
\cap		InputText
\cdot		InputText
\chi		InputText
\circ		InputText
\colon		InputText
\comp		InputText
\Complex		InputText
\cong		InputText
\coprod		InputText
\cup		InputText
\delta		InputText
\Delta		InputText
\div		InputText
\dot		InputText
\ell		InputText
\empty		InputText
\emptyset		InputText
\epsilon		InputText
\equiv		InputText
\eta		InputText
\ex		InputText
\exists		InputText
\false		InputText
\forall		InputText
\fun		InputText
\gamma		InputText
\Gamma		InputText
\ge		InputText
\geq		InputText
\gets		InputText
\gg		InputText
\gt		InputText
\hookrightarrow		InputText
\iff		InputText
\implies		InputText
\in		InputText
\inf		InputText
\infty		InputText
\Int		InputText
\iota		InputText
\kappa		InputText
\l		InputText
\lambda		InputText
\Lambda		InputText
\langle		InputText
\lceil		InputText
\le		InputText
\leftarrow		InputText
\leftrightarrow		InputText
\leq		InputText
\lfloor		InputText
\ll		InputText
\llangle		InputText
\longrightarrow		InputText
\Longrightarrow		InputText
\lr		InputText
\lt		InputText
\maps		InputText
\mapsto		InputText
\mid		InputText
\models		InputText
\mp		InputText
\mu		InputText
\N		InputText
\nabla		InputText
\Nat		InputText
\ne		InputText
\neg		InputText
\neq		InputText
\nin		InputText
\nmid		InputText
\not		InputText
\notin		InputText
\nu		InputText
\omega		InputText
\Omega		InputText
\omicron		InputText
\ominus		InputText
\oo		InputText
\oplus		InputText
\or		InputText
\oslash		InputText
\otimes		InputText
\parallel		InputText
\partial		InputText
\perp		InputText
\phi		InputText
\Phi		InputText
\pi		InputText
\Pi		InputText
\pm		InputText
\preceq		InputText
\prime		InputText
\prod		InputText
\psi		InputText
\Psi		InputText
\Q		InputText
\r		InputText
\R		InputText
\rangle		InputText
\Rat		InputText
\rceil		InputText
\Real		InputText
\rfloor		InputText
\rho		InputText
\rightarrow		InputText
\Rightarrow		InputText
\rrangle		InputText
\set		InputText
\sigma		InputText
\Sigma		InputText
\sim		InputText
\simeq		InputText
\sqcap		InputText
\sqcup		InputText
\sqrt		InputText
\star		InputText
\subset		InputText
\subseteq		InputText
\succeq		InputText
\sum		InputText
\supset		InputText
\supseteq		InputText
\supsetneq		InputText
\tau		InputText
\theta		InputText
\Theta		InputText
\times		InputText
\to		InputText
\top		InputText
\true		InputText
\turnstile		InputText
\upsilon		InputText
\Upsilon		InputText
\varepsilon		InputText
\varnothing		InputText
\varphi		InputText
\varpi		InputText
\varrho		InputText
\varsigma		InputText
\vartheta		InputText
\vdash		InputText
\xi		InputText
\Xi		InputText
\Z		InputText
\zeta		InputText
无		None

讨论

创建话题

暂无讨论

用户_QIgp2vXBQA