The jj device is a Josephson junction. A model property should be added to specify a Josephson junction model. A param property can be added to specify additional parameters.
The `+ ' symbol in the representation accesses the phase node of the Josephson junction. The ``voltage'' on this node is equal to the junction phase, in radians.