Name of the notation that goes like / [arg0|arg1]

Question

I know there is a notation or convention that for example describes the usage of a command (in a shell for example).

/ [arg0|arg1]