public void Test_getInfinity()
 {
     dfs.SetInfinity("&");
     Junit.Framework.Assert.AssertTrue("Returned incorrect Infinity symbol",
                                       dfs.GetInfinity() == "&");
 }