added | symbol for cardinailtiy