I need to write an explanation on an algorithm that performs operations on a tree structure. But, I have an uncertainty. How can I write that $b_1$ is a supercategory for $b_2$:
- $b_1>b_2$
- $b_1 \succ b_2$
Which notation is the right one? If none, then how can I represent it?