Para la noción contraria se usa el símbolo .