\rrbracket