Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Steven Nguyen
Looking at a corner in 3D space, one can see three right angles. It is
cprjsp
Next ⟩
df-prjsp
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cprjsp
Description:
Extend class notation with the projective space function.
Ref
Expression
Assertion
cprjsp
class
ℙ𝕣𝕠𝕛