added \mid