document.write("«&nbsp;<a href='/news/view?id=141657'>Designers are reinventing hurricane maps for an era of extreme weather</a>");document.write(" | ");document.write("<a href='/news/view?id=141659'>Disjunctions with stopping condition. (arXiv:1810.07437v1 [math.LO])</a>&nbsp;»");