IDEA插件系列（77）：Spec & Math symbols插件——数学符号

1.插件介绍

Spec & Math symbols插件。

插件仅包含用于自动完成的规范和数学符号。

2.安装方式

第一种方式，是在IDEA上搜索插件进行安装，会适配当前IDEA的版本。

第二种安装方式是使用离线插件进行安装。

插件下载地址：https://plugins.jetbrains.com/plugin/14267-spec--math-symbols

3.使用方法

该插件也是一个很有用的插件。

该插件又增加新的很多快捷生成。

例如输入一个"St"就会生成一个完整的"String"，比原有的功能更多。

 还提供了许多特殊符号

alpha - α
beta - β
gamma - γ
delta - δ
epsilon - ε
zeta - ζ
eta - η
theta - θ
Theta - ϑ
iota - ι
kappa - κ
lambda - λ
mu - µ
nu - ν
xi - ξ
pi - π
rho - ρ
sigma - σ
Sigma - ς
tau - τ
upsilon - υ
phi - φ
Phi - ϕ
chi - χ
psi - ψ
omega - ω
Gamma - Γ
Delta - ∆
Theta - Θ
Lambda - Λ
Xi - Ξ
Pi - Π
Sigma - Σ
Upsilon - Υ
Phi - Φ
Psi - Ψ
Omega - Ω
le - ≤
ge - ≥
equiv - ≡
subset - ⊂
supset - ⊃
approx - ≈
subseteq - ⊆
supseteq - ⊇
in - ∈
pm - ±
mp - ∓
cdot - ·
div - ÷
times - ×
cup - ∪
cap - ∩
sqcup - t
sqcap - u
circ - ◦
vee - ∨
wedge - ∧
bullet - •
oplus - ⊕
otimes - ⊗
dagger - †
ddagger - ‡
leftarrow - ←
rightarrow - →
downarrow - ↓
uparrow - ↑
leftrightarrow - ↔
Leftarrow - ⇐
Uparrow - ⇑
Rightarrow - ⇒
Downarrow - ⇓
Leftrightarrow - ⇔
aleph - ℵ
forall - ∀
exists - ∃
emptyset - ∅
infty - ∞
wp - ℘
bot - ⊥
top - ⊤
nabla - ∇
partial - ∂
SSS - §
PPP - ¶
pound - £
diamondsuit - ♦
heartsuit - ♥
clubsuit - ♣
spadesuit - ♠
remove - |-|
combine - |+|
combineK - <+>

以及数学符号：

symbolForAll - ∀
symbolComplement - ∁
symbolPartialDifferential - ∂
symbolThereExists - ∃
symbolThereDoesNotExist - ∄
symbolEmptySet - ∅
symbolIncrement - ∆
symbolNabla - ∇
symbolElementOf - ∈
symbolNotanElementOf - ∉
symbolSmallElementOf - ∊
symbolContainsAsMember - ∋
symbolDoesNotContainAsMember - ∌
symbolSmallContainsAsMember - ∍
symbolEndOfProof - ∎
symbolNAryProduct - ∏
symbolNAryCoproduct - ∐
symbolNArySummation - ∑
symbolMinusSign - −
symbolMinusorPlusSign - ∓
symbolDotPlus - ∔
symbolDivisionSlash - ∕
symbolSetMinus - ∖
symbolAsteriskOperator - ∗
symbolRingOperator - ∘
symbolBulletOperator - ∙
symbolSquareRoot - √
symbolCubeRoot - ∛
symbolFourthRoot - ∜
symbolProportionalTo - ∝
symbolInfinity - ∞
symbolRightAngle - ∟
symbolAngle - ∠
symbolMeasuredAngle - ∡
symbolSphericalAngle - ∢
symbolDivides - ∣
symbolDoesNotDivide - ∤
symbolParallelTo - ∥
symbolNotParallelTo - ∦
symbolLogicalAnd - ∧
symbolLogicalOr - ∨
symbolIntersection - ∩
symbolUnion - ∪
symbolIntegral - ∫
symbolDoubleIntegral - ∬
symbolTripleIntegral - ∭
symbolContourIntegral - ∮
symbolSurfaceIntegral - ∯
symbolVolumeIntegral - ∰
symbolClockwiseIntegral - ∱
symbolClockwiseContourIntegral - ∲
symbolAnticlockwiseContourIntegral - ∳
symbolTherefore - ∴
symbolBecause - ∵
symbolRatio - ∶
symbolProportion - ∷
symbolDotMinus - ∸
symbolExcess - ∹
symbolGeometricProportion - ∺
symbolHomothetic - ∻
symbolTildeOperator - ∼
symbolReversedTilde - ∽
symbolInvertedLazyS - ∾
symbolSineWave - ∿
symbolWreathProduct - ≀
symbolNotTilde - ≁
symbolMinusTilde - ≂
symbolAsymptoticallyEqualTo - ≃
symbolNotAsymptoticallyEqualTo - ≄
symbolApproximatelyEqualTo - ≅
symbolApproximatelyButNotActuallyEqualTo - ≆
symbolNeitherApproximatelynorActuallyEqualTo - ≇
symbolAlmostEqualTo - ≈
symbolNotAlmostEqualTo - ≉
symbolAlmostEqualOrEqualTo - ≊
symbolTripleTilde - ≋
symbolAllEqualTo - ≌
symbolEquivalentTo - ≍
symbolGeometricallyEquivalentTo - ≎
symbolDifferenceBetween - ≏
symbolApproachesTheLimit - ≐
symbolGeometricallyEqualTo - ≑
symbolApproximatelyEqualToOrTheImageOf - ≒
symbolImageOfOrApproximatelyEqualTo - ≓
symbolColonEquals - ≔
symbolEqualsColon - ≕
symbolRingInEqualTo - ≖
symbolRingEqualTo - ≗
symbolCorrespondsTo - ≘
symbolEstimates - ≙
symbolEquiangularTo - ≚
symbolStarEquals - ≛
symbolDeltaEqualTo - ≜
symbolEqualToByDefinition - ≝
symbolMeasuredBy - ≞
symbolQuestionedEqualTo - ≟
symbolNotEqualTo - ≠
symbolIdenticalTo - ≡
symbolNotIdenticalTo - ≢
symbolStrictlyEquivalentTo - ≣
symbolLessThanOrEqualTo - ≤
symbolGreaterThanOrEqualTo - ≥
symbolLessThanOverEqualTo - ≦
symbolGreaterThanOverEqualTo - ≧
symbolLessThanButNotEqualTo - ≨
symbolGreaterThanButNotEqualTo - ≩
symbolMuchLessThan - ≪
symbolMuchGreaterThan - ≫
symbolBetween - ≬
symbolNotEquivalentTo - ≭
symbolNotLessThan - ≮
symbolNotGreaterThan - ≯
symbolNeitherLessThanOrEqualTo - ≰
symbolNeitherGreaterThanOrEqualTo - ≱
symbolLessThanOrEquivalentTo - ≲
symbolGreaterThanOrEquivalentTo - ≳
symbolNeitherLessThanOrEquivalentTo - ≴
symbolNeitherGreaterThanOrEquivalentTo - ≵
symbolLessThanOrGreaterThan - ≶
symbolGreaterThanOrLessThan - ≷
symbolNeitherLessThanOrGreaterThan - ≸
symbolNeitherGreaterThanOrLessThan - ≹
symbolPrecedes - ≺
symbolSucceeds - ≻
symbolPrecedesOrEqualTo - ≼
symbolSucceedsOrEqualTo - ≽
symbolPrecedesOrEquivalentTo - ≾
symbolSucceedsOrEquivalentTo - ≿
symbolDoesNotPrecede - ⊀
symbolDoesNotSucceed - ⊁
symbolSubsetOf - ⊂
symbolSupersetOf - ⊃
symbolNotaSubsetOf - ⊄
symbolNotaSupersetOf - ⊅
symbolSubsetOfOrEqualTo - ⊆
symbolSupersetOfOrEqualTo - ⊇
symbolNeitheraSubsetofnOrEqualTo - ⊈
symbolNeitheraSupersetofnOrEqualTo - ⊉
symbolSubsetOfWithNotEqualTo - ⊊
symbolSupersetOfWithNotEqualTo - ⊋
symbolMultiset - ⊌
symbolMultisetMultiplication - ⊍
symbolMultisetUnion - ⊎
symbolSquareImageOf - ⊏
symbolSquareOriginalOf - ⊐
symbolSquareImageOfOrEqualTo - ⊑
symbolSquareOriginalOfOrEqualTo - ⊒
symbolSquareCap - ⊓
symbolSquareCup - ⊔
symbolCircledPlus - ⊕
symbolCircledMinus - ⊖
symbolCircledTimes - ⊗
symbolCircledDivisionSlash - ⊘
symbolCircledDotOperator - ⊙
symbolCircledRingOperator - ⊚
symbolCircledAsteriskOperator - ⊛
symbolCircledEquals - ⊜
symbolCircledDash - ⊝
symbolSquaredPlus - ⊞
symbolSquaredMinus - ⊟
symbolSquaredTimes - ⊠
symbolSquaredDotOperator - ⊡
symbolRightTack - ⊢
symbolLeftTack - ⊣
symbolDownTack - ⊤
symbolUpTack - ⊥
symbolAssertion - ⊦
symbolModels - ⊧
symbolTrue - ⊨
symbolForces - ⊩
symbolTripleVerticalBarRightTurnstile - ⊪
symbolDoubleVerticalBarDoubleRightTurnstile - ⊫
symbolDoesNotProve - ⊬
symbolNotTrue - ⊭
symbolDoesNotForce - ⊮
symbolNegatedDoubleVerticalBarDoubleRightTurnstile - ⊯
symbolPrecedesUnderRelation - ⊰
symbolSucceedsUnderRelation - ⊱
symbolNormalSubgroupOf - ⊲
symbolContainsAsNormalSubgroup - ⊳
symbolNormalSubgroupOfOrEqualTo - ⊴
symbolContainsAsNormalSubgroupOrEqualTo - ⊵
symbolOriginalOf - ⊶
symbolImageOf - ⊷
symbolMultimap - ⊸
symbolHermitianConjugateMatrix - ⊹
symbolIntercalate - ⊺
symbolXor - ⊻
symbolNand - ⊼
symbolNor - ⊽
symbolRightAnglewithArc - ⊾
symbolRightTriangle - ⊿
symbolNAryLogicalAnd - ⋀
symbolNAryLogicalOr - ⋁
symbolNAryIntersection - ⋂
symbolNAryUnion - ⋃
symbolDiamondOperator - ⋄
symbolDotOperator - ⋅
symbolStarOperator - ⋆
symbolDivisionTimes - ⋇
symbolBowtie - ⋈
symbolLeftNormalFactorSemidirectProduct - ⋉
symbolRightNormalFactorSemidirectProduct - ⋊
symbolLeftSemidirectProduct - ⋋
symbolRightSemidirectProduct - ⋌
symbolReversedTildeEquals - ⋍
symbolCurlyLogicalOr - ⋎
symbolCurlyLogicalAnd - ⋏
symbolDoubleSubset - ⋐
symbolDoubleSuperset - ⋑
symbolDoubleIntersection - ⋒
symbolDoubleUnion - ⋓
symbolPitchfork - ⋔
symbolEqualAndParallelTo - ⋕
symbolLessThanWithDot - ⋖
symbolGreaterThanWithDot - ⋗
symbolVeryMuchLessThan - ⋘
symbolVeryMuchGreaterThan - ⋙
symbolLessThanEqualToOrGreaterThan - ⋚
symbolGreaterThanEqualToOrLessThan - ⋛
symbolEqualToOrLessThan - ⋜
symbolEqualToOrGreaterThan - ⋝
symbolEqualToOrPrecedes - ⋞
symbolEqualToOrSucceeds - ⋟
symbolDoesNotPrecedeOrEqual - ⋠
symbolDoesNotSucceedOrEqual - ⋡
symbolNotSquareImageOfOrEqualTo - ⋢
symbolNotSquareOriginalOfOrEqualTo - ⋣
symbolSquareImageOfOrNotEqualTo - ⋤
symbolSquareOriginalOfOrNotEqualTo - ⋥
symbolLessThanButNotEquivalentTo - ⋦
symbolGreaterThanButNotEquivalentTo - ⋧
symbolPrecedesButNotEquivalentTo - ⋨
symbolSucceedsButNotEquivalentTo - ⋩
symbolNotNormalSubgroupOf - ⋪
symbolDoesNotContainAsNormalSubgroup - ⋫
symbolNotNormalSubgroupOfOrEqualTo - ⋬
symbolDoesNotContainAsNormalSubgroupOrEqual - ⋭
symbolVerticalEllipsis - ⋮
symbolMidlineHorizontalEllipsis - ⋯
symbolUpRightDiagonalEllipsis - ⋰
symbolDownRightDiagonalEllipsis - ⋱
symbolElementOfWithLongHorizontalStroke - ⋲
symbolElementOfWithVerticalBarAtEndOfHorizontalStroke - ⋳
symbolSmallElementOfWithVerticalBarAtEndOfHorizontalStroke - ⋴
symbolElementOfWithDotAbove - ⋵
symbolElementOfWithOverbar - ⋶
symbolSmallElementOfWithOverbar - ⋷
symbolElementOfWithUnderbar - ⋸
symbolElementOfWithTwoHorizontalStrokes - ⋹
symbolContainsWithLongHorizontalStroke - ⋺
symbolContainsWithVerticalBarAtEndOfHorizontalStroke - ⋻
symbolSmallContainsWithVerticalBarAtEndOfHorizontalStroke - ⋼
symbolContainsWithOverbar - ⋽
symbolSmallContainsWithOverbar - ⋾
symbolZNotationBagMembership - ⋿ -

我们只需要在IDEA编辑器中输入上面的英文，就可以自动转换成对应的符号或数学符号。