In particular, we often write \(I\)  (\(\) ) instead of 01 (01) for the (directed) standard
interval. Similarly, we write \(\)  (\(\) ) for the (directed)
real line, which is also sometimes called the Sorgenfrey
line [1]}, [2]}.
