@molly0xfff @thomasfuchs For future reference: “Globe key” or ctrl+cmd+space opens character viewer. Select Math Symbols and there it is.