Typing math in markdown is too complicated...
Added bisimilarity as example