Wikiproofs:Set-theoretical definition of JHilbert concepts/Notation and symbols