tyleUpper = intuitionisticStyle {P.identStart = upper}
intuitionistic
intuitionisticStyleUpper = intuitionisticStyle {P.identStart = upper}
intuitionisticStyleUpper = intuitionisticStyle {P.identStart = upper}