def get_arrowhead(self, direction, x, y, end):
if direction == "<STR_LIT:left>":<EOL><INDENT>pos1, pos2, pos3 = (x, x - self.arrow_width + <NUM_LIT:2>, x + self.arrow_width - <NUM_LIT:2>)<EOL><DEDENT>else:<EOL><INDENT>pos1, pos2, pos3 = (<EOL>end,<EOL>end + self.arrow_width - <NUM_LIT:2>,<EOL>end - self.arrow_width + <NUM_LIT:2>,<EOL>)<EOL><DEDENT>arrowhead = (<EOL>pos1,<EOL>y + <NUM_LIT:2>,<EOL>pos2,<EOL>y - self.arrow_width,<EOL>pos3,<EOL>y - self.arrow_width,<EOL>)<EOL>return "<STR_LIT>".format(*arrowhead)<EOL>
Render individual arrow head.

        direction (unicode): Arrow direction, 'left' or 'right'.
        x (int): X-coordinate of arrow start point.
        y (int): Y-coordinate of arrow start and end point.
        end (int): X-coordinate of arrow end point.
        RETURNS (unicode): Definition of the arrow head path ('d' attribute).