Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (100113 entries) |
Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1864 entries) |
Binder Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (49278 entries) |
Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1631 entries) |
Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6978 entries) |
Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (94 entries) |
Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (14781 entries) |
Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (75 entries) |
Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (222 entries) |
Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (131 entries) |
Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2030 entries) |
Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2189 entries) |
Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1149 entries) |
Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19126 entries) |
Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (565 entries) |
R (variable)
ratArchimedean.ratArchimedean.is_nat [in mathcomp.algebra.rat]ratArchimedean.ratArchimedean.trunc [in mathcomp.algebra.rat]
RawAction.ActsSetop.A [in mathcomp.fingroup.action]
RawAction.ActsSetop.AactS [in mathcomp.fingroup.action]
RawAction.ActsSetop.AactT [in mathcomp.fingroup.action]
RawAction.ActsSetop.S [in mathcomp.fingroup.action]
RawAction.ActsSetop.T [in mathcomp.fingroup.action]
RawAction.aT [in mathcomp.fingroup.action]
RawAction.D [in mathcomp.fingroup.action]
RawAction.Reindex.idx [in mathcomp.fingroup.action]
RawAction.Reindex.op [in mathcomp.fingroup.action]
RawAction.Reindex.S [in mathcomp.fingroup.action]
RawAction.Reindex.vT [in mathcomp.fingroup.action]
RawAction.rT [in mathcomp.fingroup.action]
RawAction.to [in mathcomp.fingroup.action]
RawGroupAction.A [in mathcomp.fingroup.action]
RawGroupAction.a [in mathcomp.fingroup.action]
RawGroupAction.aT [in mathcomp.fingroup.action]
RawGroupAction.B [in mathcomp.fingroup.action]
RawGroupAction.D [in mathcomp.fingroup.action]
RawGroupAction.Da [in mathcomp.fingroup.action]
RawGroupAction.R [in mathcomp.fingroup.action]
RawGroupAction.rT [in mathcomp.fingroup.action]
RawGroupAction.S [in mathcomp.fingroup.action]
RawGroupAction.sAD [in mathcomp.fingroup.action]
RawGroupAction.sSR [in mathcomp.fingroup.action]
RawGroupAction.to [in mathcomp.fingroup.action]
RefBaseField.bF [in mathcomp.field.fieldext]
RefBaseField.coordF [in mathcomp.field.fieldext]
RefBaseField.F [in mathcomp.field.fieldext]
RefBaseField.F0 [in mathcomp.field.fieldext]
RefBaseField.L [in mathcomp.field.fieldext]
RefBaseField.n [in mathcomp.field.fieldext]
ReflectCombinators.p [in mathcomp.ssreflect.ssrbool]
ReflectCombinators.P [in mathcomp.ssreflect.ssrbool]
ReflectCombinators.q [in mathcomp.ssreflect.ssrbool]
ReflectCombinators.Q [in mathcomp.ssreflect.ssrbool]
ReflectCombinators.rP [in mathcomp.ssreflect.ssrbool]
ReflectCombinators.rQ [in mathcomp.ssreflect.ssrbool]
ReflectProp.aT [in mathcomp.fingroup.morphism]
ReflectProp.Defs.A [in mathcomp.fingroup.morphism]
ReflectProp.Defs.B [in mathcomp.fingroup.morphism]
ReflectProp.Defs.MorphicProps.f [in mathcomp.fingroup.morphism]
ReflectProp.f [in mathcomp.fingroup.morphism]
ReflectProp.G [in mathcomp.fingroup.morphism]
ReflectProp.Main.f [in mathcomp.fingroup.morphism]
ReflectProp.Main.G [in mathcomp.fingroup.morphism]
ReflectProp.Main.H [in mathcomp.fingroup.morphism]
ReflectProp.Main.isoGH [in mathcomp.fingroup.morphism]
ReflectProp.rT [in mathcomp.fingroup.morphism]
RegularVectType.R [in mathcomp.algebra.vector]
RelAdjunction.a [in mathcomp.ssreflect.fingraph]
RelAdjunction.ccl_a [in mathcomp.ssreflect.fingraph]
RelAdjunction.cl_a [in mathcomp.ssreflect.fingraph]
RelAdjunction.e [in mathcomp.ssreflect.fingraph]
RelAdjunction.e' [in mathcomp.ssreflect.fingraph]
RelAdjunction.h [in mathcomp.ssreflect.fingraph]
RelAdjunction.sym_e' [in mathcomp.ssreflect.fingraph]
RelAdjunction.sym_e [in mathcomp.ssreflect.fingraph]
RelAdjunction.T [in mathcomp.ssreflect.fingraph]
RelAdjunction.T' [in mathcomp.ssreflect.fingraph]
Rem.T [in mathcomp.ssreflect.seq]
Rem.x [in mathcomp.ssreflect.seq]
Repr.gT [in mathcomp.fingroup.fingroup]
RestrictActionTheory.A [in mathcomp.fingroup.action]
RestrictActionTheory.aT [in mathcomp.fingroup.action]
RestrictActionTheory.D [in mathcomp.fingroup.action]
RestrictActionTheory.rT [in mathcomp.fingroup.action]
RestrictActionTheory.sAD [in mathcomp.fingroup.action]
RestrictActionTheory.to [in mathcomp.fingroup.action]
RestrictedMorphism.A [in mathcomp.fingroup.morphism]
RestrictedMorphism.aT [in mathcomp.fingroup.morphism]
RestrictedMorphism.D [in mathcomp.fingroup.morphism]
RestrictedMorphism.Props.f [in mathcomp.fingroup.morphism]
RestrictedMorphism.Props.sAD [in mathcomp.fingroup.morphism]
RestrictedMorphism.rT [in mathcomp.fingroup.morphism]
RestrictPerm.S [in mathcomp.fingroup.action]
RestrictPerm.T [in mathcomp.fingroup.action]
Restrict.A [in mathcomp.fingroup.action]
Restrict.A [in mathcomp.character.classfun]
Restrict.aT [in mathcomp.fingroup.action]
Restrict.B [in mathcomp.character.classfun]
Restrict.card_T [in mathcomp.solvable.alt]
Restrict.D [in mathcomp.fingroup.action]
Restrict.G [in mathcomp.character.character]
Restrict.gT [in mathcomp.character.classfun]
Restrict.gT [in mathcomp.character.character]
Restrict.H [in mathcomp.character.character]
Restrict.rT [in mathcomp.fingroup.action]
Restrict.sAD [in mathcomp.fingroup.action]
Restrict.T [in mathcomp.solvable.alt]
Restrict.to [in mathcomp.fingroup.action]
Restrict.x [in mathcomp.solvable.alt]
Resultant.dS [in mathcomp.algebra.mxpoly]
Resultant.p [in mathcomp.algebra.mxpoly]
Resultant.q [in mathcomp.algebra.mxpoly]
Resultant.R [in mathcomp.algebra.mxpoly]
ringQuotient.addT [in mathcomp.algebra.ring_quotient]
ringQuotient.eqT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.Q [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.mulT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.oneT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.addT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.oppT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.zeroT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.eqT [in mathcomp.algebra.ring_quotient]
RingQuotient.EtaAndMixinExports.hb_instance_15.T [in mathcomp.algebra.ring_quotient]
ringQuotient.mulT [in mathcomp.algebra.ring_quotient]
ringQuotient.oneT [in mathcomp.algebra.ring_quotient]
ringQuotient.oppT [in mathcomp.algebra.ring_quotient]
ringQuotient.T [in mathcomp.algebra.ring_quotient]
ringQuotient.zeroT [in mathcomp.algebra.ring_quotient]
RingRepr.ChangeGroup.G [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.gT [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.H [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.n [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.rG [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.SameGroup.eqGH [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.SameGroup.Stabiliser.m [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.SameGroup.Stabiliser.U [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.SubGroup.sHG [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.SubGroup.Stabiliser.m [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup.SubGroup.Stabiliser.U [in mathcomp.character.mxrepresentation]
RingRepr.Conjugate.B [in mathcomp.character.mxrepresentation]
RingRepr.Conjugate.G [in mathcomp.character.mxrepresentation]
RingRepr.Conjugate.gT [in mathcomp.character.mxrepresentation]
RingRepr.Conjugate.n [in mathcomp.character.mxrepresentation]
RingRepr.Conjugate.rG [in mathcomp.character.mxrepresentation]
RingRepr.Conjugate.uB [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.aT [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.D [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.f [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.G [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.n [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.rGf [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.rT [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.sGD [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.sG_f'fG [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.Stabiliser.m [in mathcomp.character.mxrepresentation]
RingRepr.Morphim.Stabiliser.U [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.aT [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.D [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.f [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.G [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.n [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.rG [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.rT [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.Stabiliser.m [in mathcomp.character.mxrepresentation]
RingRepr.Morphpre.Stabiliser.U [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.CentHom.f [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.G [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.gT [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.n [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.rG [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.Stabiliser.m [in mathcomp.character.mxrepresentation]
RingRepr.OneRepresentation.Stabiliser.U [in mathcomp.character.mxrepresentation]
RingRepr.Proper.G [in mathcomp.character.mxrepresentation]
RingRepr.Proper.gT [in mathcomp.character.mxrepresentation]
RingRepr.Proper.n' [in mathcomp.character.mxrepresentation]
RingRepr.Proper.rG [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.G [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.gT [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.n [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.rG [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.SubQuotient.H [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.SubQuotient.krH [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.SubQuotient.nHG [in mathcomp.character.mxrepresentation]
RingRepr.Quotient.SubQuotient.nHGs [in mathcomp.character.mxrepresentation]
RingRepr.R [in mathcomp.character.mxrepresentation]
RingRepr.Regular.G [in mathcomp.character.mxrepresentation]
RingRepr.Regular.GringMx.n [in mathcomp.character.mxrepresentation]
RingRepr.Regular.GringMx.rG [in mathcomp.character.mxrepresentation]
RingRepr.Regular.GringOp.n [in mathcomp.character.mxrepresentation]
RingRepr.Regular.GringOp.rG [in mathcomp.character.mxrepresentation]
RingRepr.Regular.gT [in mathcomp.character.mxrepresentation]
RingRepr.Regular.hb_instance_6.x [in mathcomp.character.mxrepresentation]
RintMod.R [in mathcomp.algebra.ssrint]
RotCompLemmas.T [in mathcomp.ssreflect.seq]
RotIndex.T [in mathcomp.ssreflect.seq]
RotRcons.T [in mathcomp.ssreflect.seq]
RotrLemmas.n0 [in mathcomp.ssreflect.seq]
RotrLemmas.T [in mathcomp.ssreflect.seq]
RotrLemmas.T' [in mathcomp.ssreflect.seq]
RowPoly.d [in mathcomp.algebra.mxpoly]
RowPoly.R [in mathcomp.algebra.mxpoly]
RowSpaceTheoryDefs.A [in mathcomp.algebra.mxalgebra]
RowSpaceTheoryDefs.F [in mathcomp.algebra.mxalgebra]
RowSpaceTheoryDefs.LUr [in mathcomp.algebra.mxalgebra]
RowSpaceTheoryDefs.m [in mathcomp.algebra.mxalgebra]
RowSpaceTheoryDefs.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.AddsmxSub.A [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.AddsmxSub.B [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.AddsmxSub.m1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.AddsmxSub.m2 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.AddsmxSub.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.addsmx_nop_id [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.addsmx_nop0 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.addsmx_nop_eq0 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.BinaryDirect.m1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.BinaryDirect.m2 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.BinaryDirect.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.capmx_nop_id [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.capmx_eq_norm [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.capmx_nopP [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.capmx_norm_eq [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.capmx_normP [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.capmx_witnessP [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.Eigenspace.g [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.Eigenspace.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.eqmx_sum_nop [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.F [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.genmx_witnessP [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.hb_instance_9.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.hb_instance_1.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.I [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.MaxRankSubMatrix.A [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.MaxRankSubMatrix.m [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.MaxRankSubMatrix.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.MaxRankSubMatrix.rkA [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.NaryDirect.mxdirect_sums_recP [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.NaryDirect.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.NaryDirect.P [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.NaryDirect.TIsum [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.qidmx_cap [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.qidmx_eq1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.A [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.B1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.B2 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.m [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.m1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.m2 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDaddsmx.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDsumsmx.A [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDsumsmx.B [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDsumsmx.m [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDsumsmx.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SubDsumsmx.P [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.sub_qidmx [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SumExpr.Binary.m1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SumExpr.Binary.m2 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SumExpr.Binary.n [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SumExpr.Binary.S1 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SumExpr.Binary.S2 [in mathcomp.algebra.mxalgebra]
RowSpaceTheory.unitmx1F [in mathcomp.algebra.mxalgebra]
Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (100113 entries) |
Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1864 entries) |
Binder Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (49278 entries) |
Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1631 entries) |
Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6978 entries) |
Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (94 entries) |
Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (14781 entries) |
Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (75 entries) |
Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (222 entries) |
Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (131 entries) |
Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2030 entries) |
Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2189 entries) |
Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1149 entries) |
Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19126 entries) |
Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (565 entries) |