squarish bracket

Stream: general

[Patrick Massot]

Does anyone here manages to use https://github.com/leanprover/vscode-lean/blob/master/translations.json#L1036 ? Each time I want to do that VScode inserts a ⟧)

[matt rice]

looks like \([) works to get both the left/right squarish, but see the same when trying to get the right alone