Comment by pasteldream

I’m not sure why witx’s comment was downvoted. This is absolutely the standard usage in math and computer science.