≺

Symbol

 * 1)  is an elementary substructure of
 * 1)  is an elementary substructure of