Added tikz definitions