Add \subeq command
Update thesis