We could do that, yes. That would most likely still equal `/`, but it's safer.