Showing example with different arrows

Note that then automata isn't actually correct anymore...oh well