[
  "\\ulcorner",
  "\\urcorner",
  "\\llcorner",
  "\\lrcorner"
]