IEC operators and additional, norm-extending functionsPermalink