Bold math
Added \lang command and replaced.
Then and Iff commands defined and replaced where used.
Math bold applied.