Lax natural transformation

In the mathematical field of category theory, specifically the theory of 2-categories, a lax natural transformation is a kind of morphism between 2-functors. 
Definition.
Let "C" and "D" be 2-categories, and let formula_1 be 2-functors. A lax natural transformation formula_2 between them consists of
satisfying some equations (see or )