What is this fraction-like discrete mathematics–style notation used for formal rules?8yr ⋅ natevw-57205 ⋅ se/cs
