What is this plus sign?