66c.json
https://arbital.com/p/66c
by Jaime Sevilla Molina Sep 25 2016
My fault, it should be \ulcorner.