Doubly infinite ladder graph (source code)

= Doubly infinite ladder graph
{title2=$\mathbb Z\mathbin\square K_2$}

The <doubly infinite ladder graph> has <graph vertices> $\mathbb Z\times\{0,1\}$, horizontal <edges> $\{(j,s),(j+1,s)\}$, and vertical <edges> $\{(j,0),(j,1)\}$.